Zermelo–Fraenkel Axioms

The standard foundation for modern set theory, with the axiom of choice giving ZFC.

More detailed explanations, examples and illustrations for this entry are coming soon.