Quartz 5
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Foundations
❯
Set Theory
Set Theory
39 items under this folder.
Jun 05, 2026
Aleph Hierarchy
Jun 05, 2026
Axiom of Choice
Jun 05, 2026
Axiom of Extensionality
Jun 05, 2026
Axiom of Foundation
Jun 05, 2026
Axiom of Infinity
Jun 05, 2026
Axiom of Replacement
Jun 05, 2026
Axiom of Separation
Jun 05, 2026
Axioms of ZF
Jun 05, 2026
Beth Hierarchy
Jun 05, 2026
Boldface Borel Hierarchy
Jun 05, 2026
Cantor's Theorem
Jun 05, 2026
Cardinal
Jun 05, 2026
Cartesian Product
Jun 05, 2026
Choice - Zorn - Well-Ordering
Jun 05, 2026
Class of Ordinals
Jun 05, 2026
Class
Jun 05, 2026
Definition by recursion
Jun 05, 2026
Empty-set axiom
Jun 05, 2026
Epsilon-recursion Theorem
Jun 05, 2026
Extensional
Jun 05, 2026
Function Class
Jun 05, 2026
Function
Jun 05, 2026
Local
Jun 05, 2026
Mostowski's Collapsing Theorem
Jun 05, 2026
Order Type
Jun 05, 2026
Ordered Pair
Jun 05, 2026
Pair-set axiom
Jun 05, 2026
Picture of the Universe
Jun 05, 2026
Powerset Axiom
Jun 05, 2026
Principle of Epsilon-Induction
Jun 05, 2026
Proper Class
Jun 05, 2026
Relation Class
Jun 05, 2026
Subset Collapse
Jun 05, 2026
Successor Set
Jun 05, 2026
Successor
Jun 05, 2026
Transitive
Jun 05, 2026
Union axiom
Jun 05, 2026
Well-Founded
Jun 05, 2026
Zermelo-Fraenkel Set Theory