Assertion: real number | /r/HasProperty | based on the idea
Facets:
Source sentences:
text: There is a construction of the real numbers based on the idea of using Dedekind cuts of rational numbers to name real numbers; e.g. the cut (L,R) described above would name 2 {\displaystyle {