Portal:Mathematics/Did you know/62

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