Re: The set of necessary FISONs

On 21.02.2025 11:37, joes wrote:

Am Fri, 21 Feb 2025 10:39:46 +0100 schrieb WM:

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}.

Yet not the element Z.

Zermelo claims to secure the existence of set Z.
This set can be handled, for instance removed from Z. A set containing Z is not useful in this context.
Regards, WM