Assertion: computable real number | /r/CapableOf | put another way
Facets:
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