| 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. > Regards, WM-- Date
|
