Assertion: real number | /r/HasProperty | studied in reverse mathematics
Facets:
value: in constructive mathematics
type: OTHER
Source sentences:
text: In particular, the real numbers are also studied in reverse mathematics and in constructive mathematics.