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