Foundations of geometry different sets of axioms for Euclidean geometry, any of these can replace the Euclidean parallel postulate. The following partial list indicates some of these theorems that are of historical interest. Absolute geometry is a geometry based on an axiom system consisting of all the axioms giving Euclidean geometry except for the parallel postulate or any of its alternatives. The term was introduced by János Bolyai in 1832. It is sometimes referred to as neutral geometry, as it is neutral with respect to the parallel postulate. In Euclid's "Elements", the first 28 propositions and Proposition I.31 avoid using the parallel postulate,
Spherical geometry geometries exist; see elliptic geometry. The earliest mathematical work of antiquity to come down to our time is "On the rotating sphere" (Peri kinoumenes sphairas) by Autolycus of Pitane, who lived at the end of the fourth century BC. Spherical trigonometry was studied by early Greek mathematicians such as Theodosius of Bithynia, a Greek astronomer and mathematician who wrote the Sphaerics, a book on the geometry of the sphere, and Menelaus of Alexandria, who wrote a book on spherical trigonometry called "Sphaerica" and developed Menelaus' theorem. "The book of unknown arcs of a sphere" written by the Islamic mathematician Al-Jayyani