Pronunciation: ' g ō -d ə lz-, ' g ə r-, ' g-
Function: noun
Etymology: Kurt Gödel † 1978 American mathematician
Date: 1933
: 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