Date: Mar 22, 2013 10:29 PM
Author: Virgil
Subject: Re: Matheology � 224

> > given the premise that set |N, the union of all FISONs, is "more" than

> > every FISON.

Since FISONs are nested (for any two different FISONs,, one is proper

subset of the other) with no largest FISON possible, the union of all of

them must be larger than any single one, at least outside of

Wolkenmuekenheim.

This follows from the definition of FISONs.

So one does not need to presume that |N is more than (a proper superset

of) any and every fFISON, one can prove it.

--