Date: Mar 22, 2013 5:43 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 22 Mrz., 08:30, William Hughes <wpihug...@gmail.com> wrote:

> No your proof shows that *any* *one* line

including all its predecessors

> can be removed from the
> list.
> However, you are talking about removing  more
> than one line, i,e. a *set* of lines.


Singletons are subject to induction.
Take the union of all singletons that are subject to my proof.
If something remained, what could that be?

Regards, WM