On 13 Feb., 23:22, William Hughes <wpihug...@gmail.com> wrote: > On Feb 13, 9:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > <snip> > > > You cannot discern that two potentially infinity sequences are equal. > > When will you understand that such a result requires completeness? > > Nope > > Two potentially infinite sequences x and y are > equal iff for every natural number n, the > nth FIS of x is equal to the nth FIS of y > No concept of completeness is needed or used.
Remember, there are only finite initial segments. The list contains every finite initial segment of d. Do you agree? Every finite initial segment is finite. Do you agree? For every finite initial segment induction holds. Do you agree? Every finite initial segment of d that is in line n is also in line n +1. Do you agree?