Date: Feb 8, 2013 6:49 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

On Feb 8, 11:38 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> On 8 Feb., 23:26, William Hughes <wpihug...@gmail.com> wrote:> More WM logic
>
> > L is a potentially infinite
> > list and d is the potentially infinite
> > anti-diagonal
>
> > From
> >     i.  For every natural number n, d
> >         is not the nth line of L
>
> correct.
>
> >     ii. i. implies that there is no
> >         natural number m such that
> >         d is the mth line of L
>
> No such m can be fixed.

Your claim is that no such m exists.