: 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
Love words? Need even more definitions?Merriam-Webster unabridged
See Definitions and Examples »
Get Word of the Day daily email!
Words at Play
Palter, Dissemble, and Other Words for Lying
Skunk, Bayou, and Other Words with Native American Origins
You've used more than you might think
Words For Things You Didn't Know Have Names, Vol. 2
When 'thingamajig' and 'thingamabob' just won't do
When Were Words First Used?
Look up any year to find out
Ask the Editors