Kurt Gödel and the Foundations of Mathematics: Gödel's Thesis: An Appreciation