Date: Feb 8, 2013 5:38 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

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