Date: Feb 11, 2013 10:03 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 11 Feb., 11:55, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 11, 8:50 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>

> > There exists a natural number m such that d is line number m is false.

Yes so, alas not quite correct if d is assumed to "exist".

If d is assumed to exist, we have

1) We cannot *find* a natural number m such that d is the m-th line of
the list.
2) We can prove that d is a line of the list.

Regards, WM