Date: Jan 30, 2013 3:40 AM
Author: William Hughes
Subject: Re: Matheology § 203

On Jan 30, 9:28 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 30 Jan., 00:16, William Hughes <wpihug...@gmail.com> wrote:
>
>
>
>
>
>
>
>
>

> > 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
>
> You are trying hard to misunderstand!
>


Do you agree

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

and

ii.  d is one of the lines of L

are mutually exclusive?