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
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.