Jump to content

Gödel's incompleteness theorem

From Wiktionary, the free dictionary

English

[edit]

Proper noun

[edit]

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

[edit]

See also

[edit]

Further reading

[edit]