ZF-Theory

Last updated Nov 1, 2022

The Theory made up of the following Axioms and Axiom Schemas:

1. Axiom of Extensionality
2. Axiom of Regularity
3. Axiom Schema of Specification
4. Axiom of Pairing
5. Axiom of Union
6. Axiom Schema of Replacement
7. Axiom of Infinity
8. Axiom of Power Set