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

On 16 Mrz., 00:39, Virgil <vir...@ligriv.com> wrote:

> > Let's first prove that already two cannot be necessary by the fact
> > that two always can be replaced by one of them without changing the
> > contents. Then it is clear that two or more cannot be necessary and
> > from this immediately follows that they also cannot be sufficient.

>
> Enough more than two line can be necessary and can be sufficient,


Do you agree that every non-empty set of line-numbers contains a least
element?


> > Wrong. Why do you resist to apply logic?
>
> A positive finite number of lines in necessary


A positive finite number of lines contains a least element.

> We have the choice between 1 line (in potential
>

> > infinity) and 0 lines (in actual infinity).
>
> Is that a Royal "We"?


No it includes everybody, many don't know though.

Regards, WM