Books on Amazon
|A. d'Abro Die Kontroversen über das Wesen der Mathematik 1939 in Kursbuch 8 Mathematik 1967
Axioms/Euclid/d'Abro: We know today that the explicit assumptions of Euclid are not sufficient as a basis for the Euclidean geometry. It has unconsciously made additional assumptions.
For example, in the equality of two triangles, he assumes congruence without having developed it. He had unconsciously assumed that the triangles can be moved.
Terminology: Euclid has distinguished between axioms and postulates. Today this distinction is no longer considered.
Hilbert's postulate system consists of 21 postulates that should define relationships between points, lines, and planes.
E.g. Continuity had been assumed tacitly by Euclid, and was explicitly demanded by Hilbert. ("Archimedean Postulate") Euclid was unconsciously guided by the idea of solid bodies.
Definition "Archimedian Postulate"/Hilbert: Assumption of Continuity (is assumed tacitly in Euclid).