Assertion: real number | /r/CapableOf | define irrational numbers
Facets:
value: by proceeding from rational numbers
type: MANNER
Source sentences:
text: A rigorous theory of real numbers, which makes it possible to define irrational numbers by proceeding from rational numbers, was developed only in the second half of the 19th century by K. Weierstrass, R. Dedekind, and G. Cantor.