Date: Feb 16, 2013 7:05 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 15 Feb., 23:27, Virgil <vir...@ligriv.com> wrote:
> In article
> <8847efa6-6663-40e9-a61e-76bba7f34...@dp10g2000vbb.googlegroups.com>,
>
>
>
>
>
>  WM <mueck...@rz.fh-augsburg.de> wrote:

> > 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.

>
> For every n.


For every n there are infinitely many lines following.
You never can conclude having all n.

Regards, WM