| http://www.w3.org/ns/prov#value | - He basically replaces the idea of nature with that of essential properties, and brings in modal logic. (Note that he never published any of these proofs, so there are various forms of Godel's argument floating around, some more reasonable than others.)
|
