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

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