Added proof of Godel