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
Foundations of geometry a more abstract treatment of one of Pieri's systems (from 1909) based on the primitives "point" and "congruence". Starting with Peano, there has been a parallel thread of interest amongst logicians concerning the axiomatic foundations of Euclidean geometry. This can be seen, in part, in the notation used to describe the axioms. Pieri claimed that even though he wrote in the traditional language of geometry, he was always thinking in terms of the logical notation introduced by Peano, and used that formalism to see how to prove things. A typical example of this type of notation can be found in