Re: The set of necessary FISONs

On 19.02.2025 18:19, joes wrote:

Am Wed, 19 Feb 2025 18:07:56 +0100 schrieb WM:

Proven however is this: UF = ℕ ⟹ Ø = ℕ.

No. That would mean UF = {}, which you can’t seriously believe.

Learn what an implication is.

If you think UF = X != N, then you need to accept U{} = X.

No. I don't know the relation between a FISON and X. But I know for all FISONs |ℕ \ {1, 2, 3, ..., n}| = ℵo.
Regards, WM