Date: Feb 8, 2013 10:24 AM Author: William Hughes Subject: Re: Matheology § 222 Back to the roots More WM logic

From

i. For every natural number n, d

is not in 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