Godel's theorem


Go·​del's theorem ˈgō-dəlz- How to pronounce Godel's theorem (audio)
ˈgœ- How to pronounce Godel's theorem (audio)
: 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

Word History


Kurt Gödel †1978 American mathematician

First Known Use

1933, in the meaning defined above

Time Traveler
The first known use of Godel's theorem was in 1933

Dictionary Entries Near Godel's theorem

Cite this Entry

“Godel's theorem.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/Godel%27s%20theorem. Accessed 7 Jun. 2023.

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!