Gödel's Incompleteness Theorems

Theorem
The logician published two of these:


 * Gödel's First Incompleteness Theorem
 * Gödel's Second Incompleteness Theorem.