> > > We can say "every line has the property that it > > does not contain every initial segment of s" > > There is no need to use the concept "all". > > Yes, and this is the only sensible way to treat infinity.
So now we have a way of saying
s is not a line of L
e.g. 0.111... is not a line of
0.1000... 0.11000... 0.111000.... ...
because every line, l(n), has the property that l(n) does not contain every initial segment of 0.111...
Is there a sensible way of saying s is a line of L ?