That the existence of these motions (the "axiom of free mobility") is a desideratum, if not... a necessity, for a geometry applicable to physical spa… - Howard P. Robertson

[O]nly in a homogeneous and isotropic space can the traditional concept of a rigid body be maintained.

The search for the curvature <math>K</math> indicates that, after making all known corrections, the number N seems to increase faster with <math>d</math> than the third power, which would be expected in a Euclidean space, hence <math>K</math> is positive. The space implied thereby is therefore bounded, of finite total volume, and of a present "radius of curvature" <math>R = \frac{1}{K^\frac{1}{2}}</math> which is found to be of the order of 500 million light years. Other observations, on the "red shift" of light from these distant objects, enable us to conclude with perhaps more assurance that this radius is increasing...

In the sum <math>\sigma</math> of the three angles of a triangle (whose sides are arcs of s) is greater than two right angles [180°]; it can... be shown that this "spherical excess" is given by 2)<math>\sigma - \pi = K \delta</math>where <math>\delta</math> is the area of the spherical triangle and the angles are measured in s (in which 180° = <math>\pi</math> [radians]). Further, each full line (great circle) is of finite length <math>2 \pi R</math>, and any two full lines meet in two points—there are no parallels!

is a congruence geometry, or equivalently the space comprising its elements is homogeneous and isotropic; the intrinsic relations between... elements of a configuration are unaffected by the position or orientation of the configuration. ...[M]otions of are the familiar translations and rotations... made in proving the theorems of Euclid.