Re: The set of necessary FISONs

On 24.02.2025 19:01, joes wrote:

Am Mon, 24 Feb 2025 15:59:18 +0100 schrieb WM:

These axioms can be applied to show that all FISONs can be removed.

Nope. Any number of them can be removed. Indeed, removing all
changes the union, as you have admitted.

There are not more than any number.

Only all FISONs = natural numbers are the matter of my proof. According
to Zermelo they make up the set ℕ.

The set N is not a natural number

Of course. Nobody said so.

that the proof concerns.

But Zermelo claims to produce the set ℕ. Is he wrong?
Hint: In fact he produces ℕ_def.
Regards, WM