On Feb 8, 11:26 pm, William Hughes <wpihug...@gmail.com> wrote: > 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
By the way statements i. ii. and iii. are WM not me.