Assertion: decimal point's value | /r/HasProperty | the same
Facets:
Source sentences:
text: Specifically, the difference 1 − 0.999... must be smaller than any positive rational number, so it must be an infinitesimal; but since the reals do not contain nonzero infinitesimals, the difference is therefore zero, and therefore the two values are the same.