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
Greek Orthodox Patriarchate of Alexandria and all Africa Greek Orthodox Patriarchate of Alexandria and all Africa The Greek Orthodox Patriarchate of Alexandria and all Africa (Greek: , "Patriarcheîon Alexandreías kaì pásēs Aphrikês") is an autocephalous Byzantine Rite jurisdiction of the Eastern Orthodox Church, having the African continent as its canonical territory. It is commonly called the "Greek" or "Eastern" Orthodox Patriarchate of Alexandria to distinguish it from the "Coptic" or "Oriental" Orthodox Patriarchate of Alexandria. Members of the Greek Orthodox Patriarchate were once known as Melkites, because they remained in communion with the Ecumenical Patriarchate of Constantinople after the schism that followed the Council of Chalcedon in 451.