Date: Feb 23, 2013 4:23 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<048af7af-14e7-4d6c-a641-b2e7304ac7f8@7g2000yqy.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 23 Feb., 10:59, William Hughes <wpihug...@gmail.com> wrote:
> > On Feb 23, 12:03 am, William Hughes <wpihug...@gmail.com> wrote:
> >

> > > Does
> >
> > > For every natural number n, P(n)
> > > is true.

> >
> > > imply
> >
> > > There is no natural number m such
> > > that P(m) is false.

> >
> > Does
> >
> > There is a line, l, of L
> > such that l has property P
> >
> > imply
> >
> > There exists a natural number
> > m such that the mth line of L
> > has property P.
> >
> > ?

>
> Can you identify a FIS of d that is not in a line l of L?
> You cannot. Nevertheless d consists of FIS of lines of L, and of
> nothing else, by definition and by construction of d.


Does Wm claim existence of any line l of L for which there is no FIS of
d exceeding it in length?

Is it not true even in Wolkenmuekenheim that for every nth line of L of
length n, that the n+1_st FIS of d, of length n+1, is longer?
--