Gödel's incompleteness theorem

English

Proper noun

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

theorem that states that no consistent system can be used to prove its own consistency

Finnish: Gödelin epätäydellisyyslause (fi) German: Gödelscher Unvollständigkeitssatz (de) m.

Icelandic: ófullkomleikasetning Gödels (is) f.