Axiom of Choice is Independent of ZF

From ProofWiki
Jump to navigation Jump to search


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.