In article <6db89341-f544-44af-aab8-3a4cb5602e70@y9g2000vbb.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 3 Mrz., 22:33, Virgil <vir...@ligriv.com> wrote: > > > > > Not at all. Clearly > > > > there are all FIS of d in one single line > > > > iff there is a last line. > > > > I do not consider the sentence > > > > "There is no last line" > > > > to be a contradiction.- > > > > > But "there are all FIS" is not a contradiction > > > > But "there are all FIS in one single line" IS a contradiction, when, as > > here, for each line there is a successor line longer than the line > > itself. > > And there are all FIS only in several lines is a contradiction too for > the given list.
If "several" includes any infinite subset of the set of all infinitely many lines then WM is wrong, such a "several" manages to include every FIS. > > Hence, "there are all FIS" is a contradiction.
Only in Wolkenmuekenheim. Elsewhere it is a triviality. > --