Date: Mar 16, 2013 2:26 PM
Author: William Hughes
Subject: Re: Matheology § 224

On Mar 16, 7:10 pm, WM <> wrote:
> On 16 Mrz., 18:10, William Hughes <> wrote:

> > > Ok, I understand. Anyhow, if the number of lines is not empty, then
> > > there must remain at least one line as a necessary line.

> > Not a particular line.  This is similar to
> > the case where any set of lines with an unfindable
> > last line has at least one "necessary" findable line.
> > This line has a line number in the original
> > list but we can choose the  "necessary"
> > findable line to have any line number we want.

> No, it is always the last line. We call it unfindable or unfixable
> because as soon as we have found it, it is no longer the last line.

Note, that I am not talking about the unfindable line,
but the "necessary" findable line. We can choose this
line to have any line number we want