Axiom of Choice is Independent of ZF/Historical Note

Historical Note on Axiom of Choice is Independent of ZF
showed that the Axiom of Choice is not disprovable in Zermelo-Fraenkel set theory.

showed that neither is the Axiom of Choice provable in Zermelo-Fraenkel set theory.