Aristotle's axiom in the foundations of geometry (Q1109336)

Als Fortsetzung einer seiner früheren Arbeiten [the author, J. Geom. 12, No.1, 45-64 (1979; Zbl 0369.50002)] behandelt Verf. folgendes: ``In the foundations of non-Euclidean geometry without Dedekind's axiom, Archimedes' axiom suffices to insure that the geometry is hyperbolic, but this axiom is not necessary. The weaker axiom of Aristotle is necessay and sufficient; it uses only geometric variables, not integer variables. - Aristotle's axiom: Given any acute angle formed by rays r,s having common vertex 0, and any segment AB, there exists a point P on r such that if Q is the foot of the perpendicular from P to s, then \(PQ>AB\).''