On 15 Jun., 12:39, stevendaryl3...@yahoo.com (Daryl McCullough) wrote:
> 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.
The claim is only proved for every finite subset of the list. Then it is extrapolated to an infinite list without more reason than to extrapolate other laws from the finite to the infinite.
For every finite subset of Hercules' list we see that it contains as many of digits of pi as can be contained.
