Axiom of Choice is Independent of ZF

Theorem
The Axiom of Choice can be neither proved nor disproved from the axioms of Zermelo-Fraenkel set theory.