Gödel's theorem
Gödel's theorem may refer to any of several theorems developed by the mathematician Kurt Gödel:
Gödel's incompleteness theorems
Gödel's completeness theorem
Gödel's speed-up theorem

See also
 Gödel's ontological proof