"In geometry the axioms have been searched to the bottom, and the conclusion has been reached that the space defined by Euclid's axioms is not the only possible non-contradictory space. Euclid proved (I, 27) that "if a straight line falling on two other straight lines make the alternate angles equal to one another, the two straight lines shall be parallel to one another." Being unable to prove that in every other case the two lines are not parallel, he assumed this to be true in what is now generally called the 5th "axiom," by some the 11th or the 12th "axiom." Simpler and more obvious axioms have been advanced as substitutes. As early as 1663, John Wallis of Oxford recommended: "To any triangle another triangle, as large as you please, can be drawn, which is similar to the given triangle." G. Saccheri assumed the existence of two similar, unequal triangles. Postulates similar to Wallis' have been proposed also by J. H. Lambert, L. Carnot, P. S. Laplace, J. Delboeuf. A. C. Clairaut assumes the existence of a rectangle; W. Bolyai postulated that a circle can be passed through any three points not in the same straight line, A. M. Legendre that there existed a finite triangle whose angle-sum is two right angles, J. F. Lorenz and Legendre that through every point within an angle a line can be drawn intersecting both sides, C. L. Dodgson that in any circle the inscribed equilateral quadrangle is greater than any one of the segments which lie outside it. But probably the simplest is the assumption made by Joseph Fenn in his edition of Euclid's Elements, Dublin, 1769, and again sixteen years later by William Ludlam... and adopted by John Playfair: "Two straight lines which cut one another can not both be parallel to the same straight line." It is noteworthy that this axiom is distinctly stated in Proclus's note to Euclid, I, 31."