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.