Date: Feb 1, 2013 10:35 AM
Author: William Hughes
Subject: Re: Matheology § 203


Let P(n) be
 0.111...  is not the nth line
 of

 0.1000...
 0.11000...
 0.111000...
 ...

Clearly for every natural number n
P(n) is true.

This means there is no natural
number m for which P(m) is true.

It is not simply that we cannot find m,
we know that m does not exist.