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 ?