“Zermelo-Fraenkel set theory with the Axiom of Choice, discussed as a foundation of math.”