The Road to Gödel's Incompleteness Theorems