In article <firstname.lastname@example.org>, WM <email@example.com> 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? --