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