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
Cosmas I of Alexandria Cosmas I of Alexandria Cosmas I or Kosmas I () served as Greek Patriarch of Alexandria between ca. 727 and his death in 768. Cosmas was the first residential Chalcedonian (Melkite) patriarch to be established in Alexandria following the Muslim conquest of Egypt in the 640s. The see had remained vacant since, but Cosmas was appointed with the consent of both the Umayyad Caliph and the Byzantine Emperor. The chronicler Theophanes the Confessor reports that in 742/3, he abjured Monotheletism, the dominant doctrine among Alexandrian Melkites since it had been promulgated by Emperor Heraclius. As Cosmas himself was most likely