| http://www.w3.org/ns/prov#value | - , I am well aware of (though always still learning) the basicsof mathematical equality syntactially as axiomatized (various ways) atfirst order and as defined at higher order, and as understoodphilosophically in such a sense as Leibniz, and as discussed invarious articles on the subject, and as given its standard formalsemantics, and as understood informally and naively in ordinarymathematics.
|
