Spherical geometry other geometric concepts are defined as in plane geometry, but with straight lines replaced by great circles. Thus, in spherical geometry, angles are defined between great circles, resulting in a spherical trigonometry that differs from ordinary trigonometry in many respects; for example, the sum of the interior angles of a triangle exceeds 180 degrees. Spherical geometry is "not" elliptic geometry, but is rather a "subset" of elliptic geometry. For example, it shares with that geometry the property that a line has no parallels through a given point. Contrast this with Euclidean geometry, in which a line has one parallel through
Euclidean geometry of a modern formulation in terms of constructive type theory. This development has implications for pedagogy as well. Euclidean geometry Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the "Elements". Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The "Elements" begins with plane geometry, still taught in