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 II of Telmessos Telmessos, as he ruled from 206 BC to until at least 181 BC. According to surviving inscriptions at Telmessos, Ptolemy II didn’t seem to have a royal title nor it is clear his relationship with the Pharaohs in Alexandria. It seems likely that his family had relative autonomy from Ptolemaic control increased. As Ptolemaic power declined rapidly and dramatically outside of Egypt after the death of Ptolemy III Euergetes in 222 BC, probably Ptolemy II’s father with his family had the motive and opportunity for divorcing themselves from Ptolemaic suzerainty. At an unknown date during his father’s reign, Lysimachus with