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