And we may then assume that the lines, surfaces and solids, as defined before, can all be generated in this manner. From this generation of the entities it follows again that the boundaries—the first and last position of the moving element—of a line are points, and so on; and thus we come back to the considerations with which we started.
Euclid points this out in his definitions,—Def. 3, I., Def. 6, I., and Def. 2, XI. He does not, however, show the connexion which these definitions have with those mentioned before. When points and lines have been defined, a statement like Def. 3, I., “The extremities of a line are points,” is a proposition which either has to be proved, and then it is a theorem, or which has to be taken for granted, in which case it is an axiom. And so with Def. 6, I., and Def. 2, XI.
§ 3. Euclid’s definitions mentioned above are attempts to describe, in a few words, notions which we have obtained by inspection of and abstraction from solids. A few more notions have to be added to these, principally those of the simplest line—the straight line, and of the simplest surface—the flat surface or plane. These notions we possess, but to define them accurately is difficult. Euclid’s Definition 4, I., “A straight line is that which lies evenly between its extreme points,” must be meaningless to any one who has not the notion of straightness in his mind. Neither does it state a property of the straight line which can be used in any further investigation. Such a property is given in Axiom 10, I. It is really this axiom, together with Postulates 2 and 3, which characterizes the straight line.
Whilst for the straight line the verbal definition and axiom are kept apart, Euclid mixes them up in the case of the plane. Here the Definition 7, I., includes an axiom. It defines a plane as a surface which has the property that every straight line which joins any two points in it lies altogether in the surface. But if we take a straight line and a point in such a surface, and draw all straight lines which join the latter to all points in the first line, the surface will be fully determined. This construction is therefore sufficient as a definition. That every other straight line which joins any two points in this surface lies altogether in it is a further property, and to assume it gives another axiom.
Thus a number of Euclid’s axioms are hidden among his first definitions. A still greater confusion exists in the present editions of Euclid between the postulates and axioms so called, but this is due to later editors and not to Euclid himself. The latter had the last three axioms put together with the postulates (αἰτήματα), so that these were meant to include all assumptions relating to space. The remaining assumptions, which relate to magnitudes in general, viz. the first eight “axioms” in modern editions, were called “common notions” (κοιναὶ ἔννοιαι). Of the latter a few may be said to be definitions. Thus the eighth might be taken as a definition of “equal,” and the seventh of “halves.” If we wish to collect the axioms used in Euclid’s Elements, we have therefore to take the three postulates, the last three axioms as generally given, a few axioms hidden in the definitions, and an axiom used by Euclid in the proof of Prop. 4, I, and on a few other occasions, viz. that figures may be moved in space without change of shape or size.
§ 4. Postulates.—The assumptions actually made by Euclid may be stated as follows:—
(1) Straight lines exist which have the property that any one of them may be produced both ways without limit, that through any two points in space such a line may be drawn, and that any two of them coincide throughout their indefinite extensions as soon as two points in the one coincide with two points in the other. (This gives the contents of Def. 4, part of Def. 35, the first two Postulates, and Axiom 10.)
(2) Plane surfaces or planes exist having the property laid down in Def. 7, that every straight line joining any two points in such a surface lies altogether in it.
(3) Right angles, as defined in Def. 10, are possible, and all right angles are equal; that is to say, wherever in space we take a plane, and wherever in that plane we construct a right angle, all angles thus constructed will be equal, so that any one of them may be made to coincide with any other. (Axiom 11.)
(4) The 12th Axiom of Euclid. This we shall not state now, but only introduce it when we cannot proceed any further without it.