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
Menelaus of Alexandria Menelaus of Alexandria Menelaus of Alexandria (; , "Menelaos ho Alexandreus"; c. 70 – 140 CE) was a Greek mathematician and astronomer, the first to recognize geodesics on a curved surface as natural analogs of straight lines. Although very little is known about Menelaus's life, it is supposed that he lived in Rome, where he probably moved after having spent his youth in Alexandria. He was called "Menelaus of Alexandria" by both Pappus of Alexandria and Proclus, and a conversation of his with Lucius, held in Rome, is recorded by Plutarch. Ptolemy (2nd century CE) also mentions, in his work