Date: Mar 25, 2013 1:27 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.
>

>>
>>> Everybody with a minimum of mathematical knowledge can do so by
>>> himself or can at least understand my proof.

>>
>> We all understand that it is wrong to say, ss WM is doing here, that one
>> can remove everything and still have something left, at least wrong
>> everywhere except in Wolkenmuekenheim.

>
> The union is maximal. Every FISON that is not maximal can be removed,
> since a maximal union cannot be accomplished by non-maximal FISONs.
> Simple as that!


I thought he was claiming to work in ZFC.

A union is not maximal in ZFC. One need only
apply a successor operation to see that.

At least he knew that one could find the axioms
in a big library.

That is more than had been expected.