...that the axiom of choice is logically independent of the other axioms of Zermelo–Fraenkel set theory?
