On 7 Feb., 15:59, William Hughes <wpihug...@gmail.com> wrote:
> > > > > Nope, that does not follow. 6 just says that > > > > > all FISONS of d are terminating > > > > > It does not say d is terminating.
> > Induction works only for all natural numbers. > > Which is all you need.
No. In order to see that d is non-terminating you need something more. I'd bet that you can't even tell yourself what that is, but you will never drop that claim.