View source for Foundations of geometry

A branch of geometry in which the basic concepts of geometry, the relations between them and related questions are studied.

The important role of basic concepts and the relations between them, on which the definitions of figures are based and geometric propositions are proved, was recognized in the works of even the ancient geometers. Thus, by developing the deductive method in geometry, they highlighted the special role of the basic concepts, axioms and postulates which constitute the fundaments of geometry. In Euclid's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409601.png" /> (3rd century B.C.), a chain of definitions of all concepts used in subsequent expositions preceeds the axioms and postulates. Among these definitions, the concepts "point" , "straight line" and "plane" are of crucial importance; their definitions do not depend on other geometric concepts. The actual definitions of these fundamental concepts from the geometric point of view are unsatisfactory, since they express only characteristic physical properties (for example, "a point is that which does not have parts" , i.e. a point is understood to be a small, physically indivisible body). For this reason, the works of other geometers which appeared at almost the same time as the Elements contain numerous comments and critical analyses of the definitions of these basic and other geometric concepts, axioms and postulates. However, these were merely refinements which did not affect the foundations of the definitions. In essence, the proofs of many geometric theorems were based on the clearness of the drawing and the physical feasibility of the necessary geometric constructions, and were not strictly logically deduced from the axioms and postulates. Only in the 19th century, and particularly in the early 20th century, did works appear which explained the full significance of the basic concepts and the relations between them for a logically faultless deductive method for the construction of geometry and its foundations. This deeper analysis of the foundations of geometry was enhanced by the discovery in 1826 of the non-Euclidean Lobachevskii geometry. Results justified by the use of [[Euclidean geometry|Euclidean geometry]] on the basis of the same principles and concepts as in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409602.png" /> appeared in the works of G. Peano (1894), M. Pasch (1882), M. Pieri (1899), D. Hilbert, and others. The [[Hilbert system of axioms|Hilbert system of axioms]] of Euclidean geometry (1899) attracted the most attention. Seeking a logically satisfactory construction of Euclidean geometry, Hilbert distinguished 5 groups of axioms and showed them to be necessary and sufficient for the construction of all of Euclidean geometry. Moreover, he first proposed the logical processing of the whole system, cleared the consistency of the system by the construction of a numerical model and established the independence of the groups of axioms, as well as the completeness of the system. Unlike in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409603.png" />, where the concept of space was described as a "place" for all figures, Hilbert considers a space to be the set of all "points" , "lines" , "planes" , and figures constructed on the basis of these concepts.

The set of basic concepts in Hilbert's system was borrowed (and refined) from the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409604.png" />, although this system is in essence a pure geometric scheme, free of references to the clearness of a drawing. Moreover, the language of geometry based on Hilbert's system hardly differs from the language of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409605.png" />.

At almost the same time as Hilbert's system, other systems of axioms of Euclidean geometry appeared. Thus, in F.H. Schur's system (1909), the basic concepts were "point" , "segment" , etc., while instead of the "congruence" of figures in this system, he introduced the concept of a "motion" . This concept made it possible to introduce a group approach in geometry to study motions and to put the research methods in an algebraic form. The geometric schemes above do not fully satisfy the demands of a further generalization of the concept of a space and other concepts, nor are they sufficiently "algebraic" .

New approaches to the foundations of Euclidean geometry demanded the creation of a new "language" , which made it possible to carry out corresponding further generalizations of concepts, algebraization of proofs, classification of objects, etc. One of the most widespread schemes of the foundations of Euclidean geometry, in which the possibilities of generalizations and translation of geometric concepts into the language of algebra are incorporated, is the system of axioms proposed by H. Weyl (1916). One of the transcriptions of the Weyl scheme is given below.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409606.png" />-dimensional Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409607.png" /> is defined as the set consisting of two kinds of elements — "points" and "vectors" — which satisfy the following four groups of axioms:

==Group I.==
Axioms which define the relation between points and vectors.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409608.png" />. At least one point exists.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f0409609.png" />. To each ordered pair of points corresponds one, and only one, vector.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096010.png" />. For every point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096011.png" /> and every vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096012.png" />, there is one, and only one, point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096013.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096014.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096015.png" /> is the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096016.png" />).

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096017.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096018.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096019.png" />.

On the basis of this group of axioms the sum of vectors is defined, which satisfies the requirements of commutativity and associativity. There is a zero vector, and every vector has a corresponding negative vector. The vectors with addition form a group.

==Group II.==
Axioms which describe the operation of multiplication of a vector by a number.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096020.png" />. To each vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096021.png" /> and each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096022.png" /> corresponds a specific vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096023.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096024.png" /> is called the product of the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096025.png" /> by the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096026.png" />).

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096027.png" />. Multiplication of a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096028.png" /> by 1 does not alter the vector.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096029.png" />. Multiplication of a vector by a number is distributive with respect to addition of numbers: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096030.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096031.png" />. Multiplication of a vector by a number is distributive with respect to addition of vectors: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096032.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096033.png" />. Multiplication of a vector by a number is associative: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096034.png" />.

Using the operations of addition and multiplication by a number, a linear combination of vectors and their linear independence is defined.

==Group III.==
The dimension of space is defined.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096035.png" />. Three linear independent vectors exist, but any four are linearly dependent.

This axiom has a topological character; it follows from this and the second group of axioms that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096036.png" /> is a topological space of dimension 3. The first three groups of axioms define a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096037.png" />-dimensional affine space.

==Group IV.==
The metric properties are defined.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096038.png" />. Any two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096040.png" /> correspond to a specific number (the scalar product) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096042.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096043.png" />. Symmetry of the scalar product: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096044.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096045.png" />. Distributivity of the scalar product: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096046.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096047.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096049.png" />.

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096050.png" />. The scalar square of a vector is non-negative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096051.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096052.png" /> only for the zero vector.

On the basis of group IV the distance between points, the angle between vectors, etc., is defined; vectors are used to define "segments" , "straight lines" , "planes" , etc.

The Weyl scheme permits a generalization to the case of arbitrary dimension; using an appropriate change of axioms, this scheme includes hyperbolic and elliptic spaces, etc.

The Weyl system of axioms of Euclidean geometry is consistent, independent, and satisfies the requirement of completeness (categoricity or minimality). Its consistency is established using a numerical model: The "points" of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096053.png" /> are in a one-to-one correspondence with ordered sets of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096055.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096056.png" />. A vector starting at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096057.png" /> and ending at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096058.png" /> is defined by the triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096059.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096060.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096061.png" />. The sum of two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096062.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096063.png" /> is defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096064.png" />, the product of a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096065.png" /> and a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096066.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096067.png" />. The scalar product of two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096068.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096069.png" /> is expressed by the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096070.png" />. The basis vectors (a triple of linearly independent vectors) can be represented by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096071.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096072.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096073.png" />. To prove the mutual independence of the axioms and the independence of the groups of axioms, an interpretation of the system is created which is obtained from the given one by replacing any of its axioms by its negation. The completeness of the system is deduced from the completeness of the set of real numbers.

In creating a scheme of Euclidean geometry, a geometric transformation can be taken as basic concept. Thus, in F. Bachmann's system of axioms, symmetry transformations are introduced as a basic concept. Using symmetries, which generate the group of motions in a Euclidean (metric) plane, the "points" and "lines" are defined as involutory elements of this group. Group-theoretic relations are the basis in the definition of the concepts of "incidence" , "orthogonality" , etc., while geometric proofs are replaced by calculations after having been translated into the language of algebra.

The foundations of Euclidean geometry also affect questions relating to the basis of non-Euclidean geometries. In the late 19th century and early 20th century, the basic modern methods and approaches to the foundations of geometry were formulated. New approaches to the concepts forming the foundations of geometry were worked out by B. Riemann, S. Lie, F. Klein, A. Cayley, and others. Among the basic geometric concepts were multi-dimensional manifolds, transformation groups acting on manifolds, invariants of these groups, etc.

The group approach was first accurately formulated in Klein's [[Erlangen program|Erlangen program]]: A geometric space is defined as a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096074.png" /> with a fixed group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096075.png" /> of transformations of it; the study of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096076.png" />-invariant properties of the space is the object of geometry. (For example, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096077.png" />-dimensional affine space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096078.png" /> is defined as a set on which the additive group of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096079.png" />-dimensional vector space acts simply transitively.) Lie, Klein and Cayley studied transformation groups, from which arose new possibilities in the classification and foundations of Euclidean and non-Euclidean geometries as geometries of specific transformation groups. Geometry is becoming the study of invariants of transformation groups, and the foundations of geometry rely on group theory.

Riemann worked out the metric approach to the foundations of geometry. A geometric space is considered as a set with a metric which satisfies some axioms. Riemann demonstrated that all internal properties of the space are defined by a given quadratic differential form (curvature, geodesic lines, etc.), which led to the discovery of broad classes of different metric geometries. Initially, spaces and their geometries were classified on a metric basis. Riemann demonstrated the particular role of the choice of coordinates in a point manifold for the study of the quadratic forms themselves. Thus, for a space of constant Riemannian curvature, Riemann introduced a standard form to which a quadratic form can be reduced by means of a corresponding choice of coordinates (cf. [[Riemannian geometry|Riemannian geometry]]).

The coordinate method of Euclidean geometry was generalized for various spaces, and was also developed in differential geometry; the concept of a [[Manifold|manifold]], relying on the choice of coordinate systems, has many uses in geometry. The group approach to research into transformations of differential-geometric objects permitted the creation of the theory of invariants of metric (quadratic) forms. This theory of invariants of transformation groups was the basis for the construction and logical justification of modern [[Differential geometry|differential geometry]]. The concept of a geometric object became one of the basic concepts, and geometry is considered as the theory of geometric objects (cf. [[Geometric objects, theory of|Geometric objects, theory of]]). The concept of a [[Differentiable manifold|differentiable manifold]] makes it possible to give strict definitions of differential-geometric objects and, in particular, to justify methods of analysis in geometry and geometric methods in analysis.

The foundations of Euclidean (and, generally, of any) geometry which depends on a specific system of axioms reveal the special role of set-theoretic principles in the logical analysis of systems of axioms. In fact, the independence and consistency of a system of axioms can be established by constructing a numerical model of this system. Set theory in the foundations of geometry is therefore in its own way a measure of a faultless logical construction of geometric theories. Geometric axioms of continuity (and completeness) are in essence equivalents of set-theoretic axioms.

The construction of a geometry over a specific [[Field|field]] is based on the use of concepts of a set-theoretic character. Starting from the creation of Cartesian analytic geometry, the idea of mapping a set of points onto a set of real numbers (or onto an arbitrary number set) has great significance for the foundations of geometry. The development of this idea means that geometries can be defined and classified by means of the number set (usually a field) over which they are constructed.

In the foundations of geometry, set-theoretic methods are widely used in the study of geometric transformations. As observed above, the invariants of transformation groups are the subject of study in the geometry defined by this group. An important use of the theory of invariants of (projective) transformations was discovered by Klein for the interpretation of non-Euclidean geometries. Concepts such as "angle" , "orthogonality" , etc., were analyzed in greater detail. Studies on projective complex spaces and various projective metrizations are of great significance in the classification of spaces with a specific structure.

Topological methods of classification of transformations are also used in the foundations of geometry, and with the aid of these methods the most essential differences between classes and types of manifolds are clarified, and their global properties are studied.

The basic methods and approaches in the foundations of geometry — the synthetic, the group-theoretic and the metric approach — are also significant in modern research in this area of geometry. For example, a generalization of Riemann's ideas on the foundations of geometry is the infinitesimal approach, in which the geometric structure is defined by the specification of a field of certain infinitesimal quantities (e.g. a [[Finsler metric|Finsler metric]], a [[Connection|connection]], etc.). Many problems of physics and mechanics can be interpreted geometrically and geometric concepts are used in solving them. Generally, all modern systems of axioms of Euclidean (and non-Euclidean) geometry use all three approaches to the foundations of geometry to varying degrees.

The study of tools which can be used in proving theorems on the basis of a given system of axioms is one of the main problems in the foundations of geometry. In the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096080.png" />, Euclid used Aristotle's classical logic. Hilbert paid close attention to these questions, outlining the basic problems of mathematical logic. The consistency of systems of geometric axioms is established by constructing numerical models of these systems and by studying them logically.

Questions of measuring segments, areas and volumes are of significance in the foundations of geometry. The concepts of measuring a segment, an area or a volume are based on specific groups of axioms. E.g., the theory of the area of polygons in the Euclidean plane in Hilbert's system of axioms is based on the axioms relating only to the plane and are independent of the axioms of continuity (see [[Non-Archimedean geometry|Non-Archimedean geometry]]; [[Non-Pascalean geometry|Non-Pascalean geometry]]).

The foundations of geometry deal with the problem of material objective sources of geometric concepts and systems of axioms. One of the principles of constructing geometric systems was, for a long time, the principle of the physical feasibility of a system on some material model. As observed above, an attempt was made already in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096081.png" /> to interpret basic concepts from the point of view of their physical properties. In the late 19th century, following the discovery of the [[Lobachevskii geometry|Lobachevskii geometry]], the question arose once more of the objective possibility of geometries other than the Euclidean. The problem of the objective existence of [[Non-Euclidean geometries|non-Euclidean geometries]] was solved by many geometers by using physical models, by which they attempted to prove the independence and consistency of the geometric systems of axioms. Thus, N.I. Lobachevskii attempted to justify the consistency of the conclusions arising from his axiom on parallel lines by using physical measurements of the defects of triangles of gigantic dimensions, the vertices of which are situated on cosmic bodies far from the Earth, in order to prove that the defects are different for different triangles, and that the sum of the interior angles of the triangles can be less than two right angles. An attempt to prove the existence of different metric geometries was made by H. Helmholtz in a work written shortly after the appearance of Riemann's results. Helmholtz gave a physical interpretation to the basic concepts on which metric geometry depends, and laid down certain physical laws regarding the geometric properties of space, which made it possible to construct the geometry of this space. Using a heuristic approach, Helmholtz obtained the metric of space from the basic physical laws as a differential form which, as Riemann demonstrated, defines all the internal properties of the space. Instead of the hypotheses on the foundations of geometry proposed by Riemann, Helmholtz examined facts from which the same conclusions arise in metric geometry, thereby underlining the empirical testing of the validity (consistency) of these conclusions.

Objectively, the works using empirical testing of geometric systems served to spread new geometric ideas and contributed to the appearance of more detailed logical analyses of geometric systems and to the development of the modern basic requirements for these systems. Moreover, attempts at giving geometry physical grounds contributed to the penetration of geometric ideas and methods into different areas of mathematics, physics and mechanics.

The foundations of geometry are of great importance in the methodology of geometry. In teaching modern courses of geometry in universities and pedagogical institutes, the foundations of geometry occupy a central position. In this regard, the choice of a system of basic concepts and axioms plays an every greater role in "shortening" the path between the axioms themselves and the important theorems which can be inferred from them and which have practical uses (especially in solving problems).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> "The thirteen books of Euclid's elements" , ''Euclid, Archimedes, Apollonius of Perge, Nicomachus. Great books of the Western world'' , '''11''' (1968) ((Translated from the Greek))</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> D. Hilbert, "Grundlagen der Geometrie" , Springer (1913) {{MR|1859422}} {{MR|1807508}} {{MR|1807507}} {{MR|1732507}} {{MR|1676305}} {{MR|1109913}} {{MR|0981143}} {{MR|0874532}} {{MR|0851072}} {{MR|0799771}} {{MR|0474006}} {{MR|0309913}} {{MR|0262046}} {{MR|0229120}} {{MR|0177322}} {{MR|0098003}} {{MR|0080308}} {{MR|1511181}} {{ZBL|44.0543.02}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> O. Veblen, J.H.C. Whitehead, "The foundations of differential geometry" , Cambridge Univ. Press (1932) {{MR|}} {{ZBL|0005.21801}} {{ZBL|58.0754.01}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> , ''On the foundations of geometry. A collection of classical papers on Lobachevskii geometry'' , Moscow (1956) (In Russian) (Collection of translations)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> V.F. Kagan, "Foundations of geometry" , '''1–2''' , Moscow-Leningrad (1949–1956) (In Russian) {{MR|0087109}} {{MR|0040672}} {{ZBL|}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> V.F. Kagan, "Sketches on geometry" , Moscow (1963) (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> H. Busemann, "The geometry of geodesics" , Acad. Press (1955) {{MR|0075623}} {{ZBL|0112.37002}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> N.V. Efimov, "Höhere Geometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian) {{MR|0120537}} {{ZBL|0211.23702}} {{ZBL|0101.37601}} {{ZBL|0052.37103}} {{ZBL|0036.10002}} {{ZBL|0061.31610}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> F. Bachmann, "Aufbau der Geometrie aus dem Spiegelungbegriff" , Springer (1973)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> B.A. [B.A. Rozenfel'd] Rosenfel'd, "A history of non-euclidean geometry" , Springer (1988) (Translated from Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> A.V. Pogorelov, "Elementargeometrie" , Deutsch. Verlag Wissenschaft. (1960) (Translated from Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> G. Choquet, "Geometry in a modern setting" , Kershaw (1969) {{MR|1536165}} {{ZBL|0181.00102}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> A. Doneddu, "Géométrie euclidienne plane" , Dunod (1965) {{MR|0179654}} {{ZBL|0132.14404}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> F. Kartészi, "Introduction to finite geometries" , North-Holland (1976) (Translated from Hungarian) {{MR|0423175}} {{ZBL|0325.50001}} </TD></TR></table>



====Comments====
The Weyl scheme really describes a [[Vector space|vector space]] (with inner product), rather than Euclidean space. The axioms actually stem from Peano, and have been adapted by E. Artin to describe Euclidean space.

Riemann's memoir [[#References|[a4]]] expounds his ideas on geometry; see also [[Riemann geometry|Riemann geometry]].

A translation into English of [[#References|[2]]] is [[#References|[a1]]]. More editions of Euclid's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096082.png" /> are mentioned in the article [[Elements-of-Euclid|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f040/f040960/f04096083.png" /> of Euclid]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> D. Hilbert, "The foundations of geometry" , Open Court (1971) (Translated from German) {{MR|2090759}} {{MR|0472392}} {{MR|0116216}} {{MR|0077127}} {{ZBL|0850.51001}} {{ZBL|33.0082.10}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> M. Greenberg, "Euclidean and non-Euclidean geometry" , Freeman (1974) {{MR|2640848}} {{MR|1261866}} {{MR|0551622}} {{MR|0550305}} {{MR|1538525}} {{MR|0375066}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> H. Busemann, "Recent synthetic geometry" , Springer (1970) {{MR|296877}} {{ZBL|0194.53701}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> B. Riemann, "Ueber die Hypothesen, welche der Geometrie zuGrunde liegen" , ''Das Kontinuum und andere Monographien'' , Chelsea, reprint (1973) {{MR|}} {{ZBL|0093.00101}} {{ZBL|0087.35001}} {{ZBL|47.0518.05}} </TD></TR></table>