411 REFERENCE · Wiktionary
Gödel's incompleteness theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Proper noun
s
en logic mathematics Either of the two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
Translations
theorem
Estonian: et Gödeli mittetäielikkuse teoreem
Finnish: fi Gödelin epätäydellisyyslause
French: fr théorème d'incomplétude de Gödel
German: de Gödelscher Unvollständigkeitssatz m
Icelandic: is ófullkomleikasetning Gödels f
Polish: pl twierdzenie Gödla n
Russian: ru Теоремы Гёделя о неполноте
See also
en Rosser's trick
Further reading
en eponyms