| http://www.w3.org/ns/prov#value | - The set that contains all such limit points is R. (From the definition of Cauchy, it is easy to prove limit points exist.) This requires some additional work, since we have to prove that the metric for rationals carries over to R, but this formulation helps with things such as proving rationals are dense in R, etc.Yes, I am aware of the technicality.
|
