'.
[13]This does not apply to elliptic space, but only to spaces in which the straight line is an open series. Modern Mathematics, edited by J. W. A. Young, pp. 3-51 (monograph by O. Veblen on "The Foundations of Geometry").
It follows from this that the mathematician need not concern himself with the particular being or intrinsic nature of his points, lines, and planes, even when he is speculating as an applied mathematician. We may say that there is empirical evidence of the approximate truth of such parts of geometry as are not matters of definition. But there is no empirical evidence as to what a "point" is to be. It has to be something that as nearly as possible satisfies our axioms, but it does not have to be "very small" or "without parts." Whether or not it is those things is a matter of indifference, so long as it satisfies the axioms. If we can, out of empirical material, construct a logical structure, no matter how complicated, which will satisfy our geometrical axioms, that structure may legitimately be called a "point." We must not say that there is nothing else that could legitimately be called a "point"; we must only say: "This object we have constructed is sufficient for the geometer; it may be one of many objects, any of which would be sufficient, but that is no concern of ours, since this object is enough to vindicate the empirical truth of geometry, in so far as geometry is not a matter of definition." This is only an illustration of the general principle that what matters in mathematics, and to a very great extent in physical science, is not the intrinsic nature of our terms, but the logical nature of their interrelations.
We may say, of two similar relations, that they have the same "structure." For mathematical purposes (though not for those of pure philosophy) the only thing of importance about a relation is the cases in which it holds, not its intrinsic nature. Just as a class may be defined by various different but co-extensive concepts—e.g. "man" and "featherless biped,"—so two relations which are conceptually different may hold in the same set of instances. An "instance" in which a relation holds is to be conceived as a couple of terms, with an order, so that one of the terms comes first and the other second; the couple is to be, of course, such that its first term has the relation in question to its second. Take (say) the relation "father": we can define what we may call the "extension" of this relation as the class of all ordered couples
which are such that
is the father of
. From the mathematical point of view, the only thing of importance about the relation "father" is that it defines this set of ordered couples. Speaking generally, we say: