Foundations of geometry association of meanings makes the axioms of the system true statements, then the interpretation is called a model of the system. In a model, all the theorems of the system are automatically true statements. In discussing axiomatic systems several properties are often focused on: "Euclidean geometry" is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described (although non-rigorously by modern standards) 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
Menelaus of Alexandria great circle arcs, which he named "trilaterals") and proves Menelaus' theorem on collinearity of points on the edges of a triangle (which may have been previously known) and its analog for spherical triangles. It was later translated by the sixteenth century astronomer and mathematician Francesco Maurolico. The lunar crater Menelaus is named after him. The titles of a few books by Menelaus have been preserved: 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