experience, we have occasion to exercise this faculty and we become conscious of it; but from this moment we feel that our power has no limit and that we can count indefinitely, though we have never had to count more than a finite number of objects.
Just so, as soon as we have been led to intercalate means between two consecutive terms of a series, we feel that this operation can be continued beyond all limit, and that there is, so to speak, no intrinsic reason for stopping.
As an abbreviation, let me call a mathematical continuum of the first order every aggregate of terms formed according to the same law as the scale of commensurable numbers. If we afterwards intercalate new steps according to the law of formation of incommensurable numbers, we shall obtain what we will call a continuum of the second order.
Second Stage.—We have made hitherto only the first stride; we have explained the origin of continua of the first order; but it is necessary to see why even they are not sufficient and why the incommensurable numbers had to be invented.
If we try to imagine a line, it must have the characteristics of the physical continuum, that is to say, we shall not be able to represent it except with a certain breadth. Two lines then will appear to us under the form of two narrow bands, and, if we are content with this rough image, it is evident that if the two lines cross they will have a common part.
But the pure geometer makes a further effort; without entirely renouncing the aid of the senses, he tries to reach the concept of the line without breadth, of the point without extension. This he can only attain to by regarding the line as the limit toward which tends an ever narrowing band, and the point as the limit toward which tends an ever lessening area. And then, our two bands, however narrow they may be, will always have a common area, the smaller as they are the narrower, and whose limit will be what the pure geometer calls a point.
This is why it is said two lines which cross have a point in common, and this truth seems intuitive.
But it would imply contradiction if lines were conceived as continua of the first order, that is to say, if on the lines traced by the geometer should be found only points having for coordinates rational numbers. The contradiction would be manifest as soon as one affirmed, for example, the existence of straights and circles.
It is clear, in fact, that if the points whose coordinates are commensurable were alone regarded as real, the circle inscribed in a square and the diagonal of this square would not intersect, since the coordinates of the point of intersection are incommensurable.
That would not yet