> > But the more pressing question is: You construct a list such that> > every line contains all preceding contents. You get ready, i.e., the> > list contains all that it can contain. Nevertheless there is no line> > that contains everything that the list contains.>> Yep, no last line.

Do you recognize that this is no explanation for your assertion thatin our list more than one line contain more than one line contains?

Do you accept that a set of infinitely many lines contains at leastone subset of two lines?

Do you accept that every static (= existing in the sense of settheory) set of lines has a (fixed and knowable) first line?