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
Ptolemy IV Philopator major antagonist of the apocryphal 3 Maccabees, which describes events following the Battle of Raphia, in both Jerusalem and Alexandria. Ptolemy IV's reign was also marked by trade with other contemporaneous polities. In the 1930s, excavations by Mattingly at a fortress close to Port Dunford (the likely Nikon of antiquity) in present-day southern Somalia yielded a number of Ptolemaic coins. Among these pieces were 17 copper mints from the reigns of Ptolemy III, Ptolemy IV and Ptolemy V, as well as late Imperial Rome and Mamluk Sultanate coins. Ptolemy IV Philopator Ptolemy IV Philopator (, "Ptolemaĩos Philopátōr" "Ptolemy, lover of