Assertion: real number | /r/CapableOf | form maximal subfield
Facets:
Source sentences:
text: The real numbers form a maximal subfield that is Archimedean (meaning that no real number is infinitely large).