On Feb 11, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 11 Feb., 11:55, William Hughes <wpihug...@gmail.com> wrote: > > > On Feb 11, 8:50 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > There exists a natural number m such that d is line number m is false. > > Yes so, alas not quite correct if d is assumed to "exist". > > If d is assumed to exist, we have > > 1) We cannot *find* a natural number m such that d is the m-th line of > the list.
According to you
if L is a potentially infinite list, and d is the potentially infinite diagonal
if for every natural number n, d is not the nth line of L then
*There does not exist* a natural number m such that d is the mth line of L