Kurt Gödel and the Foundations of Mathematics