This is a way of defining the addition of two magnitudes, because if the interval AB is by definition equal to the interval CD, the interval AD will be by definition the sum of the intervals AB and AC.
This definition is arbitrary in a very large measure. It is not completely so, however. It is subjected to certain conditions and, for example, to the rules of commutativity and associativity of addition. But provided the definition chosen satisfies these rules, the choice is indifferent, and it is useless to particularize it.
Various Remarks.—We can now discuss several important questions:
1º Is the creative power of the mind exhausted by the creation of the mathematical continuum?
No: the works of Du Bois-Reymond demonstrate it in a striking way.
We know that mathematicians distinguish between infinitesimals of different orders and that those of the second order are infinitesimal, not only in an absolute way, but also in relation to those of the first order. It is not difficult to imagine infinitesimals of fractional or even of irrational order, and thus we find again that scale of the mathematical continuum which has been dealt with in the preceding pages.
Further, there are infinitesimals which are infinitely small in relation to those of the first order, and, on the contrary, infinitely great in relation to those of order 1 + ε, and that however small ε may be. Here, then, are new terms intercalated in our series, and if I may be permitted to revert to the phraseology lately employed which is very convenient though not consecrated by usage, I shall say that thus has been created a sort of continuum of the third order.
It would be easy to go further, but that would be idle; one would only be imagining symbols without possible application, and no one will think of doing that. The continuum of the third order, to which the consideration of the different orders of infinitesimals leads, is itself not useful enough to have won citizenship, and geometers regard it only as a mere curiosity. The mind uses its creative faculty only when experience requires it.
2º Once in possession of the concept of the mathematical continuum, is one safe from contradictions analogous to those which gave birth to it?
No, and I will give an example.
One must be very wise not to regard it as evident that every curve has a tangent; and in fact if we picture this curve and a straight as two narrow bands we can always so dispose them that they have a part in common without crossing. If we imagine then the breadth of these two bands to diminish indefinitely, this common part will always subsist and, at the limit, so to speak, the two lines will have a point in common without crossing, that is to say, they will be