Zermelo-Fraenkel set theory (ZF)
Zermelo-Fraenkel set theory (ZF) is one of the most widely accepted foundational systems for mathematics, providing a formal framework for the theory of sets. Together with the Axiom of Choice, it forms the Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), which is the standard foundation for much of modern mathematics. Overview of Zermelo-Fraenkel…
