Gödel's incompleteness theorem in French

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