On 9 Feb., 00:49, William Hughes <wpihug...@gmail.com> wrote: > 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. > > Your claim is that no such m exists.-
You argue exactly as if you would prove that the even numbers are larger than the odd numbers, by showing that for every odd number there is a larger even number. Of course the latter is right, but it does not prove the claim.
For every even number there exists a larger odd number although no largest odd number can be fixed.
For every FIS of d there exist a line surpassing it. Although no line m can be fixed that is surpassing every FIS of d.