Axioms for Absolute Geometry
- 1 January 1968
- journal article
- Published by Canadian Mathematical Society in Canadian Journal of Mathematics
- Vol. 20, 158-181
- https://doi.org/10.4153/cjm-1968-017-6
Abstract
The axioms of Euclidean geometry may be divided into four groups: the axioms of order, the axioms of congruence, the axiom of continuity, and the Euclidean axiom of parallelism (6). If we omit this last axiom, the remaining axioms give either Euclidean or hyperbolic geometry. Many important theorems can be proved if we assume only the axioms of order and congruence, and the name absolute geometry is given to geometry in which we assume only these axioms. In this paper we investigate what can be proved using congruence axioms that are weaker than those used previously.Keywords
This publication has 1 reference indexed in Scilit:
- Aufbau der Geometrie aus dem SpiegelungsbegriffPublished by Springer Nature ,1959