| http://www.w3.org/ns/prov#value | - Undefinable numbers cannot satisfy this> > > need.> >> > WM may need it, but if the issue is only whether something is or is not> > a real number, there are definitions of what is a real number that does> > need not establish its trichotomy with anything.> >> > Trichotomy is a derived property not a definitional one of some> > definitions of the reals.> > Then you have another idea of real number.
|
