On Feb 7, 3:46 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 7 Feb., 15:40, William Hughes <wpihug...@gmail.com> wrote: > > > > > > > > > > > On Feb 7, 3:36 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > On 7 Feb., 15:21, William Hughes <wpihug...@gmail.com> wrote: > > > > > On Feb 7, 3:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > On 7 Feb., 14:44, William Hughes <wpihug...@gmail.com> wrote: > > > > > > > On Feb 7, 2:32 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > > I do not agree that <snip> ~6 > > > > > > > follows from 3. > > > > > > > Nor does anyone else. > > > > > > Then d is not actually infinite. > > > > > Nope, that does not follow. 6 just says that > > > > all FISONS of d are terminating > > > > It does not say d is terminating. > > > > And 4 just says that all FISs of the list do not contain d. It does > > > not say that a nonterminating list does not contain d. > > > Indeed. For that you need induction. WM can show you > > how this is done > > Induction works only for all natural numbers.