Assertion: set's number | /r/HasProperty | dedekind cuts of rationals
Facets:
Source sentences:
text: Let us emphasize that it is not claimed that, e.g., real numbers are Dedekind cuts of rationals, as they could also be defined using Cauchy sequences, or in other different ways.