Guest Adi Habbu lays out Kurt Gödel's famous incompleteness theorems and describes some highlights from "Some Basic Theorems on the Foundations of Mathematics and their Implications" (1951) and "The Modern Development of the Foundations of Mathematics in Light of Philosophy" (1961).