In mathematical logic , Gödel 's incompleteness theorems are two celebrated theorems proved by Kurt Gödel in 1931 .
In mathematical logic , Gödel 's incompleteness theorems are two proved theorems celebrated by Kurt Gödel in 1931 .