On Feb 8, 11:38 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > 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.