Set theory MOC

Zermelo-Fraenkel set theory

Zermelo-Fraenkel set theory or is a Material set theory and the most widely accepted Axiomatic set theory (together with the stronger ).

Axioms

We take the following axioms and axiom schemata: #m/def/set/zf

1. Axiom of Extensionality
2. Emptyset Axiom
3. Axiom of Pairing
4. Axiom of Union
5. Specification Axiom Schema
6. Powerset Axiom
7. Axiom of Infinity
8. Axiom Schema of Replacement
9. Axiom of Foundation

#state/tidy | #lang/en | #SemBr