For example, the proposition that if the shortest line drawn between two points is called a _straight_ line, there can be only one such straight line. Again, it is an axiom that through any three points in space, not lying in a straight line, a plane may be drawn, i.e. a surface which will wholly include every straight line joining any two of its points. Another axiom, about which there has been much discussion, affirms that through a point lying without a straight line only one straight line can be drawn parallel to the first; two straight lines that lie in the same plane and never meet, however far they may be produced, being called parallel. There are also axioms that determine the number of dimensions of space and its surfaces, lines and points, showing how they are continuous; as in the propositions, that a solid is bounded by a surface, a surface by a line and a line by a point, that the point is indivisible, that by the movement of a point a line is described, by that of a line a line or a surface, by that of a surface a surface or a solid, but by the movement of a solid a solid and nothing else is described. Now what is the origin of such propositions, unquestionably true yet incapable of proof in a science where everything else is reasoned conclusion? Are they inherited from the divine source of our reason as the idealistic philosophers think, or is it only that the ingenuity of mathematicians has hitherto not been penetrating enough to find the proof? Every new votary, coming with fresh zeal to geometry, naturally strives to succeed where all before him have failed. And it is quite right that each should make the trial afresh; for, as the question has hitherto stood, it is only by the fruitlessness of one’s own efforts that one can be convinced of the impossibility of finding a proof. Meanwhile solitary inquirers are always from time to time appearing who become so deeply entangled in complicated trains of reasoning that they can no longer discover their mistakes and believe they have solved the problem. The axiom of parallels especially has called forth a great number of seeming demonstrations.