Assertion: real number | /r/HasProperty | archimedean
Facets:
Source sentences:
text: However, there are mathematically coherent ordered algebraic structures, including various alternatives to the real numbers, which are non-Archimedean.