Lectures on the Philosophy of Mathematics

by Joel David Hamkins

we may form the real numbers as the collection of equivalence classes of Cauchy sequences. This admits a natural ordered field structure; it is Archimedean; and it is Cauchy complete.