Saving
Optimisation
0
Extensionality
Regularity
Specification
Pairing
Union
Replacement
Infinity
Power Set
Choice
-
Axiom of
Extensionality -
Axiom of
Regularity -
Axiom of
Specification -
Axiom of
Pairing -
Axiom of
Union -
Axiom of
Replacement -
Axiom of
Infinity -
Axiom of
Power Set -
Axiom of
Choice