Gödel's incompleteness theorem

either of two theorems published by the mathematician Kurt Gödel in 1931 that prove all mathematical systems are incomplete in that their truth or consistency can only be proved using a system of a higher order