Date: Mar 16, 2013 5:38 AM
Subject: Re: Matheology § 224

On 16 Mrz., 00:39, Virgil <> 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

> > 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