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.