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 ZF.

showed that neither is the Axiom of Choice provable in ZF.