Gödel's incompleteness theorem
Proper noun
  1. One of two theorems in mathematical logic that demonstrate 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

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.030
Offline English dictionary