follow Dictionary.com

What's the difference between i.e. and e.g.?

Gödel's incompleteness theorem

noun, Logic, Mathematics
1.
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.
2.
the corollary that the consistency of such a system cannot be proved within the system.
Origin
after K. Gödel, who formulated it
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source

Word of the Day

Difficulty index for Gödel's incompleteness theorem

Few English speakers likely know this word

Word Value for godel

0
0
Scrabble Words With Friends

Nearby words for godel in completeness theorems