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.