Section 5.3

Section 5.3 defines the real numbers as formal limits of Cauchy sequences of rationals, and then defines the usual arithmetic operations on the reals (addition, multiplication, negation, subtraction, reciprocation, and division).