http://www.w3.org/ns/prov#value | - However, if someone disputes it, we have to examine our implicit theories ...So, this problem that you see existing for *just* certain types of theories exists for all theories!When you deal with Euclidian geometry as a self-contained system, it is pretty flawless ??? though I would guess Hilbert might argue he cleaned it up a bit.
|