"The Non-Euclidean Geometry is a natural result of the futile attempts which had been made from the time of Proklos to the opening of the nineteenth century to prove the fifth postulate, (also called the twelfth axiom, and sometimes the eleventh or thirteenth) of Euclid. The first scientific investigation of this part of the foundation of geometry was made by Saccheri (1733), a work which was not looked upon as a precursor of Lobachevsky, however, until Beltrami (1889) called attention to the fact. Lambert was the next to question the validity of Euclid's postulate in his Theorie der Parallellinien (posthumous, 1786), the most important of many treatises on the subject between the publication of Saccheri's work and those of Lobachevsky and Bolyai. Legendre also worked in the field, but failed to bring himself to view the matter outside the Euclidean limitations."