On 20 Mrz., 19:44, Virgil <vir...@ligriv.com> wrote:
> > Either there is a list that contains everyting that the list contins > > in two or more lines. > > Since each line has a successor line and is a proper subset of that > successor line, the only "escape" is to have a nonempty set of lines > with no last line.
What should a missing last line help? As it is not present in the list, it cannot change the contents of the list. But every line, that is not the last line and, therefore, is not missing, can be made missing without changing the contents of the list.
> > Since contents can only exist in lines, and since every line is > > superset to all its predecessors, the proof is correct. It shows that > > actual infinity is unreasonable. > > It does not show any such thing
You could as well refrain from declaming assertions. Here is sci.logic, not spec.tacle.