If a, c are two different numbers, there are infinitely many different numbers lying between a, c. - Richard Dedekind

If a is any definite number, then all numbers of the system R fall into two classes, A₁ and A₂, each of which contains infinitely many individuals; the first class A₁ comprises all numbers a₁ that are < a, the second class A₂ comprises all numbers a₂ that are > a; the number a itself may be assigned at pleasure to the first or second class, being respectively the greatest number of the first class or the least of the second. In every case the separation of the system R into the two classes A₁, A₂ is such that every number of the first class A₁ is less than every number of the second class A₂.

Addition is the combination of any arbitrary repetitions of the above-mentioned simplest act into a single act; from it in a similar way arises multiplication. While the performance of these two operations is always possible, that of the inverse operations, subtraction and division, proves to be limited. Whatever the immediate occasion may have been, whatever comparisons or analogies with experience, or intuition, may have led thereto; it is certainly true that just this limitation in performing the indirect operations has in each case been the real motive for a new creative act; thus negative and fractional numbers have been created by the human mind; and in the system of all rational numbers there has been gained an instrument of infinitely greater perfection. This system, which I shall denote by R, possesses first of all a completeness and self-containedness which I have designated... as characteristic of a body of numbers [Zahlkőrper] and which consists in this, that the four fundamental operations are always performable with any two individuals in R, i.e., the result is always an individual of R, the single case of division by the number zero being excepted.

The system R forms a well-arranged domain of one dimension extending to infinity on two opposite sides. What is meant by this is sufficiently indicated by my use of expressions borrowed from geometric ideas; but just for this reason it will be necessary to bring out clearly the corresponding purely arithmetic properties in order to avoid even the appearance as if arithmetic were in need of ideas foreign to it.