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

On Jan 29, 10:11 pm, WM <> wrote:
> On 29 Jan., 21:28, William Hughes <> wrote:


> > 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