Kurt Godel and the Foundations of Mathematics by