Kurt Godel: Results on Foundations