Date: Mar 20, 2013 5:24 PM
Subject: Re: Matheology § 224
On 3/20/2013 3:02 PM, WM wrote:
> 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.
If it appears that way, it is because you
have created the conditions for it.