Gödel's incompleteness theorem

== English == === Proper noun === Gödel's incompleteness theorem (plural Gödel's incompleteness theorems) (logic, mathematics) Either of the two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic. ==== Translations ==== ==== See also ==== === Further reading === Gödel's incompleteness theorem on Wikipedia.Wikipedia