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 ?