Dictionary.com

Gödel's incompleteness theorem

Save This Word!

noun Logic, Mathematics.
the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
the corollary that the consistency of such a system cannot be proved within the system.
QUIZ
ARE YOU A TRUE BLUE CHAMPION OF THESE "BLUE" SYNONYMS?
We could talk until we're blue in the face about this quiz on words for the color "blue," but we think you should take the quiz and find out if you're a whiz at these colorful terms.
Question 1 of 8
Which of the following words describes “sky blue”?
Meet Grammar CoachWrite or paste your essay, email, or story into Grammar Coach and get grammar helpImprove Your Writing
Meet Grammar CoachImprove Your Writing
Write or paste your essay, email, or story into Grammar Coach and get grammar help

Origin of Gödel's incompleteness theorem

After K. Gödel, who formulated it

Words nearby Gödel's incompleteness theorem

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2021

How to use Gödel's incompleteness theorem in a sentence

FEEDBACK