Date: Mar 25, 2013 1:24 PM
Author: fom
Subject: Re: Matheology § 224

On 3/25/2013 6:53 AM, WM wrote:
> On 24 Mrz., 23:35, Virgil <vir...@ligriv.com> wrote:
>

>>> I proved that every FISON and all its predecessors can be removed from
>>> the matheological union |N of all FISONs without changing this union.

>>
>> ANY FISON and all its predecessors can be removed from
>> the union |N of all FISONs without changing this union.
>>
>> But removing every FISON leaves none to form a union.

>
> Why should any FISON be left? It cannot form the union of all natural
> numbers.
> Therefore every FISON can be removed, iffff the union is more than
> every FISON.
>


Once again, someone is confused about closure properties
and operation definitions.

In the theory of monotone crayon marks, that is
me.

In the world of actual mathematical discourse, that
is WM.