- Home
- / Kurt Gödel
- / The axiom of choice was opened up for assumption by Gödel's proof. True or False?
The axiom of choice was opened up for assumption by Gödel's proof. True or False?
True
False
Answer
Gödel showed that the axiom of choice was independent of the other axioms of set theory, meaning that it could be assumed or not assumed without affecting the consistency of Theory. This opened up the possibility of studying set theory without assuming the axiom of choice, and led to the development of alternative set theories such as Zermelo-Fraenkel set theory without the axiom of choice.
The Gödelicious Quiz: Unraveling the Genius of Kurt Gödel
More Questions
Who made important contributions to proof theory by connecting classical logic, intuitionistic logic and modal logic?
When did Kurt Gödel pass away?
In Gödel's time, who were major figures working with logic and set theory to examine the mathematical foundations?
Kurt Gödel is considered along with whom to be one of the most significant logicians in history?
Which theorem states that for a powerful enough system to explain the arithmetic of natural numbers, some propositions can be neither proved nor disproved?
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox