Gödel's incompleteness theorem

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

English[edit]

Proper noun[edit]

Wikipedia

Gödel's incompleteness theorem

  1. A theorem in mathematical logic that states that no consistent system can be used to prove its own consistency.

Translations[edit]