Date: Feb 21, 2013 12:40 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 21 Feb., 14:18, William Hughes <wpihug...@gmail.com> 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
d_n.

Regards, WM