Gödel's incompleteness theorem in German

(logic, mathematics) Either of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.