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

## Historical Note

Kurt Gödel showed that the Axiom of Choice is not disprovable in Zermelo-Fraenkel set theory.

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