Date: Feb 3, 2013 4:29 PM
Author: William Hughes
Subject: Re: Matheology § 203

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