back to ideas for this text


Single Idea 10147

[from 'Alfred Tarski: life and logic' by Feferman / Feferman, in 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX ]

Full Idea

In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory.

Gist of Idea

The Axiom of Choice is consistent with the other axioms of set theory

Source

Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I)

Book Reference

Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.44


A Reaction

Hence people now standardly accept ZFC, rather than just ZF.