Zermelo–Fraenkel set theory with the Axiom of Choice