Another popular pedagogical pathway is to construct the reals via convergent sequences of rational numbers, i.e. Cauchy sequences.