There were, of course, many other statements and substitutions used by mathematicians in their endeavors satisfactorily to establish the truth of the parallel-postulate. That their labors should have terminated, first, by doubting it, then by denying, and finally, by building up a system of geometries which altogether ignores the postulate is just what might naturally be expected of these men who have given to the world the non-Euclidean geometry. In doing what they did many, if not all of them, were not aware in any measure of the proportions of the imposing superstructure that would be built upon their apparent failures. All of them undoubtedly must have sensed the vague adumbrations forecast by the unfolding mysteries which they sought to lay bare; all of them must have felt as they executed the early tasks of those crepuscular days of pure mathematics that the way which they were traveling would lead to the inner shrine of a higher knowledge and a wider freedom; they may have been led by divine intuition to strike out on this new path and yet they could not have known how fully their dreams would be realized by the mathematicians of the twentieth century. If so, they were truly gods and mathesis is their kingdom.

The analyst proceeds upon a basis entirely at variance with that which guides the ordinary investigator in the formulation of his conclusions. The empirical scientist in arriving at his theories or hypotheses is governed at all times by the degree of conformity which his postulates exhibit to the actual phenomena of nature. He endeavors to ascertain just how far or in what degree his hypothesis is congruent with things found in nature. If the dissidence is found to predominate he abandons his theory and makes another statement and again sets out to determine the degree of conformity. If he then finds that the natural phenomena agree with his theory he accepts it as for the time being finally settling the question. In all things he is limited by the answer which nature gives to his queries. Not so with the exponent of pure mathematics. For him the truth of hypotheses and postulates is not dependent upon the fact that physical nature contains phenomena which answer to them. The sole determining factor for him is whether or not he is able to state with rational consistency the assumed first principles and then logically develop their consequences. If he can do this, that is, if he can state his hypotheses with consistency and develop their consequences into a logical system of thought, he is quite satisfied and well pleased with his performances. But the fact that this is true is of vital significance for all who seek clearly to understand the essential character of hyperspatiality.

It appears, therefore, that the science of consequences is the radical essence of pure geometry. The metageometrician enjoys unlimited freedom in the choice of his postulates and suffers curtailment only when it comes to the question of consistency. He is at liberty to formulate as many systems of geometry as the barriers of consistency will permit and these are practically innumerable. So long then as the laws of compatibility remain inviolate his multiplication of postulate-systems may proceed indefinitely. Is it strange then that under conditions where an investigator has such unbridled liberty he should be found indulging in mathetic excesses?

Kant held that the axioms of geometry are synthetic judgments a priori; but it appears that in the strictest sense this is not the case. It depends upon the type of mind which is taken as a standard of reference. If it be the uncultivated mind, it is certain that to it the relations expressed by an axiom would never appear spontaneously. If on the other hand, the standard be that of a cultivated mind it is also equally certain that to it these relations would be discovered only after methodical operations. All judgments arrived at as a result of logical processes should, it seems, be regarded as judgments a posteriori, i.e., the results of empirical operations. Confessedly, the facts adduced in course of experimentation serve as guides in choosing among all of the many possible logical conventions; but our choice remains untrammeled except by the compulsion arising out of a fear of inconsistency. The real criterion then of all geometries is neither truth, conformability nor necessity, but consistency and convenience.

The difficulty with the non-Euclideans resolved itself into the question as to whether it is more consistent, as well as convenient, to establish a proof of the postulate by taking advantage of the support to be found in other postulates or whether, by seeking a demonstration based upon the deliveries of sense-experience as to the nature of space and its properties, a still more consistent conclusion might be reached. They had further perplexity, however, when it came to a decision as to whether the organic world is produced and maintained in Euclidean space or in a purely conceptual space which alone can be apprehended by the mind's powers of representation. Unwilling to admit the existence of the world in Euclidean space, they turned their attention to the examination of the properties of another kind of space so-called which unlike the space of the Ionian school could be made to answer not only all the purposes of plane and solid figures, but of spherics as well. And so, the manifold space was invented by Riemann and later underwent some remarkable improvements at the hands of his disciple, Beltrami. But it may be said here, parenthetically, that the truth of the whole matter is that our world is neither in Euclidean nor non-Euclidean space, both of which, in the last analysis, are conceptual abstractions. Although it may not be denied that the Euclidean space is the more compatible.

The problem of devising a space, if only a very limited portion, in which could be demonstrated the assumed alternative hypothesis and its consequences logically developed, occasioned no inconsiderable concern for the non-Euclidean investigators; but neither Lobachevski, Bolyai nor Riemann were to be baffled by the difficulties which they met. These only cited them to more laborious toil. Having succeeded in mentally constructing the particular kind of space which was adaptable to their rigorous mathetic requirements it immediately occurred to them that all the qualities of the limited space thus devised might logically be amplified and extended to the entire world of space and that what is true of figures constructed in the segmented portion of space which they used for experimental purposes is also true of figures drawn anywhere in the universe of this space as all lines drawn in the finite, bounded portion could be extended indefinitely and all magnitudes similarly treated. From these results, it was but a single step to the conclusion which followed—that either an entirely new world of space had been discovered or that our notion of the space in which the organic world was produced is wholly wrong and needs revision. But notwithstanding the insurmountable obstacles which stood in the way of the investigators who made the attempt to discover the homology which might exist between the characteristics of the newly fabricated space and the phenomenal world, investigations were carried forward with almost amazing recklessness and loyalty to the mathetic spirit until it was discovered that all efforts to trace out any definite lines of correspondence were futile. Then the policy of ignoring the question of conformability was adopted and has since been pursued with unchangeable regularity by the analytical investigator.

Among the results obtained by the non-Euclideans in their profound researches into the nature of hyperspace are these: 1. It was found that the angular sum of a triangle, being ordinarily assumed to be a variable quantity, is either less or greater than two right angles so that a strictly Euclidean rectangle could not be constructed. 2. The angle sums of two triangles of equal area are equal. 3. No two triangles not equal can have the same angles so that similar triangles are impossible unless they are of the same size. 4. If two equal perpendiculars are erected to the same line, their distance apart increases with their length. 5. A line every point of which is equally distant from a given straight line is a curved line. 6. Any two lines which do not meet, even at infinity, have one common perpendicular which measures their minimum distance. 7. Lines which meet at infinity are parallel. But it is apparent that these results have not followed upon any mathematical consequence of other supporting postulates or axioms such as would place them on a coördinate basis with those used as a support for the parallel-postulate; for they are based upon the envisagement of an entirely new principle of space-perception and belong to a wholly different set of space qualities.

The final issue then of the non-Euclidean geometry is neither in the utility of its processes and conclusions nor in the increscent inclination towards a new outlook upon the world of mathesis; but resides solely in the possibilities yet to be developed in that vast domain of analytical thought which it has discovered and opened to view. To say that it sheds any light upon the nature of the universe is perhaps to take the radical view; yet it cannot be doubted that the researches incident to the formulation of the non-Euclidean geometry have greatly extended the scope of consciousness. Whether the extension is valid and normal or simply a hypertrophic excrescence of mental feverishness; whether by virtue of it we shall more closely approach an understanding of the true nature of the mind of the Infinite, or shall all fall into insanity, are certainly debatable questions. It nevertheless appears evident that humanity has gained something of real, abiding permanence by this new departure. If that something be merely an extended consciousness or an awakening to the fact that there are stages of awareness beyond the strictly sensuous, and every observable evidence points to this, then there has only begun the process by which the faculty of conscious functioning in this new world shall become the normal possession of the human species. But this new world cannot be said to be of mathematical import; for it is doubtful if mathematical laws such as have been devised up to the present time, would obtain therein. So that if anything, it must be psychological and vital.

On this view the worlds of hyperspace inlaid with analytic manifoldnesses and constant curvatures are but the primal excitants which will finally awaken in the mind the faculty of awareness in the new domain of psychological content. Then will come the blooming of the diurnal flower of the mind's immortality and the outputting of the organ of consciousness wherewith the infinite stretches of hyperspaces, the low-lying valleys of reals and imaginaries and the uplifting hills of finites and infinites shall be divested of their mysteries and stand out in their unitariness no longer draped in the veil of the inscrutable and the incomprehensible.

The fourth dimension, regarded by some as a new scope of motion for objects in space, by others as a new and strange direction of spatial extent and by others still as the doorway of the temple of exegesis wherein an explanation may be found for the entire congeries of mysteries and supermysteries which now perplex the human mind, may also be said to be the key to the non-Euclidean geometry. But it really complicates the situation; for one has to be capable of prolonged abstract thought even to envisage is as a conceptual possibility. Poincaré[10] says: "Any one who should dedicate his life to it could, perhaps, eventually imagine the fourth dimension," implying thereby that a lifetime of prolonged abstract thought is necessary to bring the mind to that point of ecstasy where it could even so much as imagine this additional dimension. Nevertheless by it (the fourth dimension) was the non-Euclidean geometry made and without it was not any of the hyperspaces made that were made. It is the view which geometers have taken of space in general that has made the fourth dimension possible, and not only the fourth, but dimensions of all degrees. The basis of the non-Euclidean geometry may be found then in the notion of space which has been predominant in the minds of the investigators.