Gödel's theorem

Gödel's theorem may refer to:
 * Gödel's incompleteness theorems
 * Gödel's completeness theorem
 * Gödel's speed-up theorem

See also: Gödel's ontological proof