Date: Mar 16, 2013 5:38 AM
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
> > 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.