Gödel's Incompleteness Theorems

Theorem
The logician published two of these: