On Cantor and the Transfinite