| http://www.w3.org/ns/prov#value | - Many people have been trained to think that a proof is a derivation in an axiomatic theory, such as set theory, a viewpoint often promoted in textbooks and bolstered by the argument that an informal proof can always be written out in full in this form, even if we don???t do that as a matter of course.
|
