basis rejecting known obtuse angle case obtain consistent set axioms includes axiom parallel lines axioms must tweaked adjustments depend upon axiom system used among others tweaks effect modifying euclid 's second postulate statement line segments extended indefinitely statement lines unbounded riemann 's elliptic geometry emerges natural geometry satisfying axiom models non euclidean geometry sphere sum angles
Formal science Mathematics Pure mathematics Geometry Non-Euclidean geometry