Axioms
The Zermelo-Fraenkel axioms (usually with Choice, ZFC) that provide a rigorous, paradox-free foundation for set theory.
📜
The statement of the theorem
Includes Extensionality, Regularity, Specification, Pairing, Union, Replacement, Infinity, Power Set, and Choice.