Assertion: real number | /r/HasProperty | the dedekind cuts
Facets:
Source sentences:
text: Wouldn't it be easier to simply define the real numbers to be the Dedekind cuts, or define the real numbers to be the decimal expansions, or something like that?