> I'm having a problem understanding Cantor's diagonal argument (CDA). > Specifically it's use in proving the uncountability of the reals from > 0 to 1. (...) > We then have a number (consisting of an infinite series of ones) that > is not in the original list because it is different from each n in > it's nth digit. > > But it is clear that this number *is* in the list because it is a > natural number.
No, it is clear that it is _not_ a natural number, because it is not finite.