Date: Feb 15, 2013 4:31 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots
On 15 Feb., 00:53, Virgil <vir...@ligriv.com> wrote:

> > > And just this criterion is satisfied for the system

>

> > > 1

> > > 12

> > > 123

> > > ...

>

> > > For every n all FISs of d are identical with all FISs of line n.

>

> For every n there is an (n+1)st fison of d not identical to any FIS of

> line n.

That does not prove d is not in the list, but only that d is not in

the first n lines of the list.

Regards, WM