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.