Assertion: computable real number | /r/HasProperty | close
Facets:
value: to a unique real number
type: OTHER
value: in the sense
type: OTHER
value: "very close"
type: DEGREE
Source sentences:
text: Put another way, every finite nonstandard real number is "very close" to a unique real number, in the sense that if x is a finite nonstandard real, then there exists one and only one real number st(x) such that