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