Kurt Godel, Stanford Encyclopedia of Philosophy