Gödel's incompleteness theorem

专有名词proper noun

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