Date: Feb 8, 2013 5:38 PM
Subject: Re: Matheology § 222 Back to the roots

On 8 Feb., 23:26, William Hughes <> 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


>     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.
>     iii.  d may or may not be a line of L

There is no part of d(potential) that is surpassing every line of a
suitable list.

Regards, WM