| http://www.w3.org/ns/prov#value | - In any case, I now seem to see that it is quite correct to say that the statements which are proposed as axioms for arithmetic need pass no special test since they are all among the statements already known to say true things about the numbers.
|
