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

On Feb 8, 11:26 pm, 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
>
>     ii. i. implies that there is no
>         natural number m such that
>         d is the mth line of L
>
> WM concludes
>
>     iii.  d may or may not be a line of L


By the way statements i. ii. and iii. are WM
not me.