Gödel's incompleteness theorem

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