On 8 Feb., 23:26, 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 > correct.
> ii. i. implies that there is no > natural number m such that > d is the mth line of L
No such m can be fixed. > > iii. d may or may not be a line of L
There is no part of d(potential) that is surpassing every line of a suitable list.