Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. (Q1890449)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2124779
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. |
scientific article; zbMATH DE number 2124779 |
Statements
Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. (English)
0 references
3 January 2005
0 references
In this paper the axiomatization of dimension-free Euclidean geometry is discussed. Primitive notions are point and equilateral triangle and the incidence of point and (side of) triangle. Some predicates and axioms are given such that one gets an equivalent formulation of an axiom system of \textit{W. Schwabhäuser, W. Szmielew} and \textit{A. Tarski} [Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Springer-Verlag (1983; Zbl 0564.51001)]. Similar results are given for point, square and incidence as primitive notions.
0 references
Euclidean geometry
0 references
axiomatization
0 references
0.7760335803031921
0 references
0.7695797085762024
0 references
0.767852783203125
0 references
0.7677843570709229
0 references
