Assertion: real number | /r/CapableOf | form useful number system
Facets:
value: extremely
type: DEGREE
Source sentences:
text: Although the real numbers form an extremely useful number system, the decision to interpret the notation "0.999..." as naming a real number is ultimately a convention, and Timothy Gowers argues in Mathematics: