Re: The set of necessary FISONs

Am Tue, 25 Feb 2025 10:02:47 +0100 schrieb WM:

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.

There are more FISONs than any natural number: infinitely many.

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.

You pretend to remove the whole set.

that the proof concerns.

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

No, you are wrong.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.