+**ZFC** is the widely accepted axiomatic system that forms the foundation of modern [Set Theory](/wiki/Set_Theory), the language for most mathematics. It describes the fundamental properties of sets through a collection of [Axioms](/wiki/Axioms), preventing paradoxes and enabling rigorous construction of mathematical objects. This robust framework, including the Axiom of Choice, underpins much of contemporary mathematical thought.
+## See also
+- [Axiom of Choice](/wiki/Axiom_of_Choice)
+- [Formal System](/wiki/Formal_System)
+- [Foundations of Mathematics](/wiki/Foundations_of_Mathematics)
... 1 more lines