Date: Mar 22, 2013 5:43 AM Author: firstname.lastname@example.org 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
> 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?