>> That's *all* that matters, for Cantor's theorem. The claim >> is that for every list of reals, there is another real >> that does not appear on the list. > > >Yes but HOW does Cantor show that?
You've been told many times. He shows that for every list L of reals, there is another real antidiag(L) that is defined in such a way that
forall n, antidiag(L) differs from the nth real in L at the nth decimal place.
From this, it follows:
forall n, antidiag(L) is not equal to the nth real.
