Cauchy Real Numbers

Definition of the real numbers as cauchy sequences quotiented by

$$(a_n)\sim (b_n)⟺|a_n-b_n|\to 0$$