Consider a certain plane, which I shall call the fundamental plane, and construct a sort of dictionary, by making correspond each to each a double series of terms written in two columns, just as correspond in the ordinary dictionaries the words of two languages whose significance is the same:
Space: Portion of space situated above the fundamental plane.
Plane: Sphere cutting the fundamental plane orthogonally.
Straight: Circle cutting the fundamental plane orthogonally.
Sphere: Sphere.
Circle: Circle.
Angle: Angle.
Distance between two points: Logarithm of the cross ratio of these two points and the intersections of the fundamental plane with a circle passing through these two points and cutting it orthogonally. Etc., Etc.
Now take Lobachevski's theorems and translate them with the aid of this dictionary as we translate a German text with the aid of a German-English dictionary. We shall thus obtain theorems of the ordinary geometry. For example, that theorem of Lobachevski: 'the sum of the angles of a triangle is less than two right angles' is translated thus: "If a curvilinear triangle has for sides circle-arcs which prolonged would cut orthogonally the fundamental plane, the sum of the angles of this curvilinear triangle will be less than two right angles." Thus, however far the consequences of Lobachevski's hypotheses are pushed, they will never lead to a contradiction. In fact, if two of Lobachevski's theorems were contradictory, it would be the same with the translations of these two theorems, made by the aid of our dictionary, but these translations are theorems of ordinary geometry and no one doubts that the ordinary geometry is free from contradiction. Whence comes this certainty and is it justified? That is a question I can not treat here because it would require to be enlarged upon, but which is very interesting and I think not insoluble.
Nothing remains then of the objection above formulated. This is not all. Lobachevski's geometry, susceptible of a concrete interpretation, ceases to be a vain logical exercise and is capable of applications; I have not the time to speak here of these applications, nor of the aid that Klein and I have gotten from them for the integration of linear differential equations.