Axiom of Choice is Independent of ZF/Historical Note
Jump to navigation
Jump to search
Historical Note on Axiom of Choice is Independent of ZF
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.
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 5$ The continuum problem