Gödel's incompleteness theorem
Proper noun
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.001
Proper noun
- (logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.
- French: théorème d'incomplétude de Gödel
- German: Gödelscher Unvollständigkeitssatz
- Russian: Теоремы Гёделя о неполноте
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.001