Date: Feb 21, 2013 12:40 PM
Subject: Re: Matheology § 222 Back to the roots

On 21 Feb., 14:18, William Hughes <> wrote:
> According to WM
> i.;
>     A) For every natural number n, P(n) is true.
>       implies

that this claim A holds for every natural number from 1 to n, but not
necessarily for infinitely many following.

>     B) There does not exist a natural number n such that P(n) is
> false.

In potential infinity you have to distinguish between existence and
the possibility to identify.
Every potentially infinite set of natural numbers has a last element.
But you cannot identify it.
>    For every natural number n
>    the nth line of L and x
>    are not coFIS

You have to find a d_n that is not in any line.
Of course d is in the list as a line unless you can show a missing

Regards, WM