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