Date: Jan 29, 2013 6:16 PM
Author: William Hughes
Subject: Re: Matheology § 203

On Jan 29, 10:11 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 29 Jan., 21:28, William Hughes <wpihug...@gmail.com> wrote:

<snip>

> > It does, however, imply that d in not one
> > of the lines of the list L

>
> For that sake you must check all lines. Can you check what is not
> existing?
>


So now your claim is

We can know

There does not exist a natural number n
such that d is equal to the nth line
of L

but we cannot know

d is not one of the lines of L