Re: The set of necessary FISONs

On 26.01.2025 12:11, joes wrote:

Am Fri, 24 Jan 2025 10:37:51 +0100 schrieb WM:

 

The union of all FISONs does not cover ℕ. Otherwise Cantor's theorem
would require the existence of a first necessary FISON.

Cantor's theorem does not force the existence of a necessary set.

 
But your claim that a set exists forces the existence of a first FISON
that cannot be discarded. Otherwise all can be discarded.