Kurt Gödel: Results on Foundations