The second incompleteness theorem follows from which other theorem?
Pythagoras's theorem
Einstein's general relativity
First incompleteness theorem
Hubble's law
Answer
The second incompleteness theorem follows from the first incompleteness theorem, which states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is capable of proving all truths about the natural numbers.
The Gödelicious Quiz: Unraveling the Genius of Kurt Gödel
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox