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
WILL YOU SAIL OR STUMBLE ON THESE GRAMMAR QUESTIONS?
Smoothly step over to these common grammar mistakes that trip many people up. Good luck!
Question 1 of 7
Fill in the blank: I can’t figure out _____ gave me this gift.
Origin of Gödel's incompleteness theorem
After K. Gödel, who formulated it
Words nearby Gödel's incompleteness theorem
goddaughter, Godden, goddess, Godefroy de Bouillon, Gödel, Gödel's incompleteness theorem, godendag, Goderich, Godesberg, godet, godetia
Dictionary.com Unabridged
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2023