Date: Mar 20, 2013 4:24 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 20 Mrz., 21:14, Virgil <vir...@ligriv.com> wrote:
> In article
> <ee68a743-df09-4920-bb5d-00ac1c53b...@x15g2000vbj.googlegroups.com>,
>
>  WM <mueck...@rz.fh-augsburg.de> wrote:

> > On 20 Mrz., 20:40, William Hughes <wpihug...@gmail.com> wrote:
> > > On Mar 20, 4:24 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > I show that every line, that is not the last line, is not needed.
>
> > > Nope.  You show that it is not necessary for its contents.
> > > This is not the same as not needed.

>
> > Agreed:
> > I show that every line, that is not the last line, is not needed to
> > remain in the list in order to have its contents in the list.
> > Agreed?

>
>  While you can show that any line that is not A last line is
> dispensible,


And you believe that? You write really as if you would believe in the
consistency of my proof.

> you cannot show it  for every line that is not THE last
> line, since "THE last line" implies a condition contrary to fact.


Let me improve my sentence simply to read: "I show it for every
line" (since every possible last line is a missing line and as such an
impossible last ine).

Regards, WM