“
What this means is that the (Infinity) of points involved in continuity is greater than the (Infinity) of points comprised by any kind of discrete sequence, even an infinitely dense one. (2) Via his Diagonal Proof that c is greater than Aleph0, Cantor has succeeded in characterizing arithmetical continuity entirely in terms of order, sets, denumerability, etc. That is, he has characterized it 100% abstractly, without reference to time, motion, streets, noses, pies, or any other feature of the physical world-which is why Russell credits him with 'definitively solving' the deep problems behind the dichotomy. (3) The D.P. also explains, with respect to Dr. G.'s demonstration back in Section 2e, why there will always be more real numbers than red hankies. And it helps us understand why rational numbers ultimately take up 0 space on the Real Line, since it's obviously the irrational numbers that make the set of all reals nondenumerable. (4) An extension of Cantor's proof helps confirm J. Liouville's 1851 proof that there are an infinite number of transcendental irrationals in any interval on the Real Line. (This is pretty interesting. You'll recall from Section 3a FN 15 that of the two types of irrationals, transcendentals are the ones like pi and e that can't be the roots of integer-coefficient polynomials. Cantor's proof that the reals' (Infinity) outweighs the rationals' (Infinity) can be modified to show that it's actually the transcendental irrationals that are nondenumerable and that the set of all algebraic irrationals has the same cardinality as the rationals, which establishes that it's ultimately the transcendetnal-irrational-reals that account for the R.L.'s continuity.)
”
”