Assertion: real number | /r/HasProperty | dedekind
Facets:
Source sentences:
text: If one were to repeat the construction of real numbers with Dedekind cuts (i.e., "close" the set of real numbers by adding all possible Dedekind cuts), one would obtain no additional numbers because the real numbers are already Dedekind complete.