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

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