Foundations of geometry

Foundations of geometry is the study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries. These are fundamental to the study and of historical importance, but there are a great many modern geometries that are not Euclidean which can be studied from this viewpoint. The term axiomatic geometry can be applied to any geometry that is developed from an axiom system, but is often used to mean Euclidean geometry studied from this point of view. The completeness and independence of general axiomatic systems are important mathematical considerations, but there are also issues to do with the teaching of geometry which come into play.

Based on ancient Greek methods, an axiomatic system is a formal description of a way to establish the mathematical truth that flows from a fixed set of assumptions. Although applicable to any area of mathematics, geometry is the branch of elementary mathematics in which this method has most extensively been successfully applied.

There are several components of an axiomatic system.

An interpretation of an axiomatic system is some particular way of giving concrete meaning to the primitives of that system. If this 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 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 secondary school as the first axiomatic system and the first examples of formal proof. It goes on to the solid geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, explained in geometrical language.

...
Wikipedia