Assertion: real number | /r/CapableOf | use cauchy sequences
Facets:
Source sentences:
text: Cauchy completeness is related to the construction of the real numbers using Cauchy sequences.
text: The real numbers can be constructed from the rational numbers by completion, using Cauchy sequences, Dedekind cuts, or infinite decimals (see Construction of the real numbers).