Date: Mar 20, 2013 5:24 PM
Author: fom
Subject: Re: Matheology § 224

On 3/20/2013 3:02 PM, WM wrote:
> 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.

If it appears that way, it is because you
have created the conditions for it.