Date: Mar 18, 2013 7:44 PM
Author: William Hughes
Subject: Re: Matheology § 224

On Mar 18, 4:45 pm, WM <> wrote:
> On 18 Mrz., 13:50, William Hughes <> wrote:

> > So you take a set of lines that contains an unfindable line
> > remove all the findable lines and end up with a set
> > that contains an unfindable line, but no findable line ?!?

> If you remove every findable line, there cannot remain a findable
> line, can it?

Nor can there remain an unfindable line.

> But the more pressing question is: You construct a list such that
> every line contains all preceding contents. You get ready, i.e., the
> list contains all that it can contain. Nevertheless there is no line
> that contains everything that the list contains.

Yep, no last line.