theorems of ordinary geometry.
The Implicit Axioms.—Are the axioms explicitly enunciated in our treatises the sole foundations of geometry? We may be assured of the contrary by noticing that after they are successively abandoned there are still left over some propositions common to the theories of Euclid, Lobachevski and Riemann. These propositions must rest on premises the geometers admit without enunciation. It is interesting to try to disentangle them from the classic demonstrations.
Stuart Mill has claimed that every definition contains an axiom, because in defining one affirms implicitly the existence of the object defined. This is going much too far; it is rare that in mathematics a definition is given without its being followed by the demonstration of the existence of the object defined, and when this is dispensed with it is generally because the reader can easily supply it. It must not be forgotten that the word existence has not the same sense when it refers to a mathematical entity and when it is a question of a material object. A mathematical entity exists, provided its definition implies no contradiction, either in itself, or with the propositions already admitted.
But if Stuart Mill's observation can not be applied to all definitions, it is none the less just for some of them. The plane is sometimes defined as follows:
The plane is a surface such that the straight which joins any two of its points is wholly on this surface.
This definition manifestly hides a new axiom; it is true we might change it, and that would be preferable, but then we should have to enunciate the axiom explicitly.
Other definitions would suggest reflections not less important.
Such, for example, is that of the equality of two figures; two figures are equal when they can be superposed; to superpose them one must be displaced until it coincides with the other; but how shall it be displaced? If we should ask this, no doubt we should be told that it must be done without altering the shape and as a rigid solid. The vicious circle would then be evident.
In fact this definition defines nothing; it would have no meaning for a being living in a world where there were only fluids. If it seems clear to us, that is because we are used to the properties of natural solids which do not differ much from those of the ideal solids, all of whose dimensions are invariable.
Yet, imperfect as it may be, this definition implies an axiom.
The possibility of the motion of a rigid figure is not a self-evident truth, or at least it is so only in the fashion of Euclid's postulate and not as an analytic judgment a priori would be.
Moreover, in studying the definitions and the demonstrations of geometry, we see that one is obliged to admit without proof not only the possibility of this motion, but some of its properties besides.
This is at once seen from the definition of the straight line. Many defective definitions have been given, but the true one is that which is implied in all the demonstrations where the straight line enters:
"It may happen that the motion of a rigid figure is such that all the points of a line belonging to this figure remain motionless while all the points situated outside of this line move. Such a line will be called a straight line." We have designedly, in this enunciation, separated the definition from the axiom it implies.