Definition of Godel's theorem
: a theorem in advanced logic: in any logical system as complex as or more complex than the arithmetic of the integers there can always be found either a statement which can be shown to be both true and false or a statement whose truth or falsity cannot be deduced from other statements in the system
— called also Godel's incompleteness theorem
Keep scrolling for more
Love words? Need even more definitions?Merriam-Webster unabridged
Words at Play
- Words We're Watching: 'Samesies'
- The Good, The Bad, & The Semantically Imprecise - 10/18/19
- Noah Webster's Spelling Wins and Fails
- The Disputed Origins of the 'Egg Cream'
Ask the Editors
- Why Do People Pronounce It "Nucular"?
- On Contractions of Multiple Words
- Is Singular 'They' a Better Choice?
- Where in the World? A Quiz Take the quiz
- Advanced Vocabulary Quiz Take the quiz
- Spell It Take the quiz
- Dictionary Devil Play the game