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