Re: The set of necessary FISONs

On 1/26/25 3:43 AM, WM wrote:

On 25.01.2025 14:59, joes wrote:
>

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 a necessary FISON. We already established
that no finite set of FISONs suffices.

>
Cantor's theorem concerns also infinite sets. Without a first element the set is empty.
>

No, without a first element, the set doesn't exist.