Gödel's incompleteness theorem

Proper noun

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

Translations

 * Estonian: Gödeli mittetäielikkuse teoreem
 * Finnish: Gödelin epätäydellisyyslause
 * French: théorème d'incomplétude de Gödel
 * German: Gödelscher Unvollständigkeitssatz
 * Icelandic: ófullkomleikasetning Gödels
 * Russian: Теоремы Гёделя о неполноте