Gödel's incompleteness theorem

English

Proper noun

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

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

Translations

See also

Further reading

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.