Assertion: real number | /r/HasProperty | infinite
Facets:
value: uncountably
type: DEGREE
Source sentences:
text: Element of a nonstandard model of the reals, which can be infinite or infinitesimal
text: The real numbers and complex numbers are uncountably infinite, as Cantor proved.