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.