Assertion: real number's property | /r/CapableOf | imply archimedean property
Facets:
Source sentences:
text: These properties imply Archimedean property (which is not implied by other definitions of completeness).