Re: The set of necessary FISONs

On 23.02.2025 19:34, Jim Burns wrote:

On 2/23/2025 9:43 AM, WM wrote:

There is no reason to consider {{F}} at all.

 There is reason, but
only for people wanting to be correct.

Peano, Zermelo, or v. Neumann create ℕ as well as the set F of all FISONs by induction over the members for use in set theory without being what you erroneously call correct.

We omit all F(n) which amounts to remove F.
Like all natural numbers amount to ℕ (not {ℕ})

Regards, WM