Maths›03. Logic and Foundations7.5 Zermelo Fraenkel Axioms (ZF, ZFC)The axioms of Zermelo Fraenkel set theory, the role of choice, and the use of axioms as a foundation for mathematics.