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

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.