Gödel's Incompleteness Theorems

The logician Kurt Gödel published two of these:


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