Now if beings of this kind lived on an infinite plane, their geometry would be exactly the same as our planimetry. They would affirm that only one straight line is possible between two points; that through a third point lying without this line only one line can be drawn parallel to it; that the ends of a straight line never meet though it is produced to infinity, and so on. Their space might be infinitely extended, but even if there were limits to their movement and perception, they would be able to represent to themselves a continuation beyond these limits; and thus their space would appear to them infinitely extended, just as ours does to us, although our bodies cannot leave the earth, and our sight only reaches as far as the visible fixed stars. But intelligent beings of the kind supposed might also live on the surface of a sphere. Their shortest or straightest line between two points would then be an arc of the great circle passing through them. Every great circle, passing through two points, is by these divided into two parts; and if they are unequal, the shorter is certainly the shortest line on the sphere between the two points, but also the other or larger arc of the same great circle is a geodetic or straightest line, _i.e._ every smaller part of it is the shortest line between its ends. Thus the notion of the geodetic or straightest line is not quite identical with that of the shortest line. If the two given points are the ends of a diameter of the sphere, every plane passing through this diameter cuts semicircles, on the surface of the sphere, all of which are shortest lines between the ends; in which case there is an equal number of equal shortest lines between the given points. Accordingly, the axiom of there being only one shortest line between two points would not hold without a certain exception for the dwellers on a sphere. Of parallel lines the sphere-dwellers would know nothing. They would maintain that any two straightest lines, sufficiently produced, must finally cut not in one only but in two points. The sum of the angles of a triangle would be always greater than two right angles, increasing as the surface of the triangle grew greater. They could thus have no conception of geometrical similarity between greater and smaller figures of the same kind, for with them a greater triangle must have different angles from a smaller one. Their space would be unlimited, but would be found to be finite or at least represented as such. It is clear, then, that such beings must set up a very different system of geometrical axioms from that of the inhabitants of a plane, or from ours with our space of three dimensions, though the logical powers of all were the same; nor are more examples necessary to show that geometrical axioms must vary according to the kind of space inhabited by beings whose powers of reason are quite in conformity with ours. But let us proceed still farther.