138) for a more careful, drawn-out development of addition with Cauchy sequences.
138) για ένα περισσότερο προσεκτική, παρατεταμένη ανάπτυξη της πρόσθεσης με ακολουθίες Cauchy.