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