Re: The set of necessary FISONs

On 22.02.2025 15:03, Richard Damon wrote:

On 2/22/25 7:35 AM, WM wrote:

The inductive step is proved in my example from |ℕ \ {1, 2, 3, ..., n}| = ℵo, i.e., by several axioms, and in Zermelo's example by a single axiom.

Which just proves that no specific FISON is individually REQURED to make the set of Natural Numbers.

If every FISON can be omitted, ten nothing remains for a sufficient set. Because if there was any sufficient set, it would have a first FISON.
Regards, WM