Godel+and+Aquinas