Date: Mar 20, 2013 4:02 PM
Subject: Re: Matheology § 224

On 20 Mrz., 19:44, Virgil <> 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.

Regards, WM