Date: Feb 23, 2013 5:51 AM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
On Feb 23, 11:42 am, WM <mueck...@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?

No

> You cannot. Nevertheless d consists of FIS of lines of L, and of

> nothing else, by definition and by construction of d.

>

> Or do you object to this fact?

No.

Please answer my question.