Gödel's incompleteness theorem

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Proper noun[edit]

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

  1. One of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.

Translations[edit]

See also[edit]