Formalization of set theory. Built on top of a logic or Type Theory. Axioms Principle of Extensionality Axiom of Empty Set Axiom of Pairing Axiom of Unoining Axiom of Foundation Axiom of Infinity Comprehension Scheme Axiom of Replacement Axiom of Choice