Re: The set of necessary FISONs

On 21.02.2025 02:18, Richard Damon wrote:
 

In order to secure the existance of "infinite" sets, we still need the
following axioms.

Almost correct, but only singular: we still need the following axiom.

 
There is no mention of "induction" in the statement.

The following axiom is the axiom of induction. The set Z contains the
empty set as an element and with every element a also the element {a}.