Date: Feb 23, 2013 5:42 AM
Subject: Re: Matheology § 222 Back to the roots
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.
> There is a line, l, of L
> such that l has property P
> 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.
Or do you object to this fact?