Date: Feb 21, 2013 12:40 PM
Subject: Re: Matheology § 222 Back to the roots
On 21 Feb., 14:18, William Hughes <wpihug...@gmail.com> wrote:
> According to WM
> A) For every natural number n, P(n) is true.
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
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