Date: Feb 7, 2013 9:59 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

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.


Which is all you need. Check WM for the details.