Gödel's incompleteness theorem

English

Proper noun

Gödel's incompleteness theorem (plural Gödel's incompleteness theorems)

1. (logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.

Translations

theorem

• Estonian: Gödeli mittetäielikkuse teoreem
• Finnish: Gödelin epätäydellisyyslause
• French: théorème d’incomplétude de Gödel
• German: Gödelscher Unvollständigkeitssatz m
• Icelandic: ófullkomleikasetning Gödels f
• Russian: Теоремы Гёделя о неполноте (Teoremy Gjódelja o nepolnote)

See also

• Rosser's trick

Further reading

• Gödel's incompleteness theorem on Wikipedia.Wikipedia