```Date: Feb 3, 2013 5:04 PM
Author: fom
Subject: Re: Matheology § 203

On 2/3/2013 3:58 PM, WM wrote:> On 3 Feb., 22:29, William Hughes <wpihug...@gmail.com> wrote:>>>> 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...>> But that does not exclude s from being in the list. What finite> initial segment (FIS) of 0.111... is missing? Up to every line there> is some FIS missing, but every FIS is with certainty in some trailing> line. And with FIS(n) all smaller FISs are present.>>> Is there a sensible way of saying>> s is a line of L ?>> There is no sensible way of saying that 0.111... is more than every> FIS. And every FIS is in a line.Do you mean "is in some line"?As in "there exists a line containing a given FIS"
```