Note 153 — Introductory material

(4) One last elucidatory remark is necessary before our proof of this axiom can be considered complete. We spoke above of the Geometry on an egg, where Free Mobility does not hold. What, I may be asked, is there about a thoroughly non-congruent Geometry, more impossible than this Geometry on the egg? The answer is obvious. The Geometry of non-congruent surfaces is only possible by the use of infinitesimals, and in the infinitesimal all surfaces become plane. The fundamental formula, that for the length of an infinitesimal arc, is only obtained on the assumption that such an arc may be treated as a straight line, and that Euclidean Plane Geometry may be applied in the immediate neighbourhood of any point. If we had not our Euclidean measure, which could be moved without distortion, we should have no method of comparing small arcs in different places, and the Geometry of non-congruent surfaces would break down. Thus the axiom of Free Mobility, as regards three-dimensional space, is necessarily implied and presupposed in the Geometry of non-congruent surfaces; the possibility of the latter, therefore, is a dependent and derivative possibility, and can form no argument against the à priori necessity of congruence as the test of equality.