>> The proof does not make use of any property of infinite lists. >> The proof establishes: (If r_n is the list of reals, and >> d is the antidiagonal) >> >> forall n, d is not equal to r_n > >As every n is finite, it belongs to a finite initial segment of the >infinite list.
I'm not sure what you are saying. The fact is, we can prove that for every real r_n on the list, d is not equal to r_n. That means that d is not on the list. There is no extrapolation involved.