**set of real numbers** is the unique complete totally ordered field. This means that, in the real numbers, all sequences with points that get arbitarily close to each other have a divined limit, and all elements can be arranged in a straight line and behave under the usual rules of addition and multiplication.