Top Qs
Timeline
Chat
Perspective
Aristotle's axiom
Axiom in the foundations of geometry From Wikipedia, the free encyclopedia
Remove ads
Aristotle's axiom is an axiom in the foundations of geometry, proposed by Aristotle in On the Heavens that states:

If is an acute angle and AB is any segment, then there exists a point P on the ray and a point Q on the ray , such that PQ is perpendicular to OX and PQ > AB.
Aristotle's axiom is a consequence of the Archimedean property,[1] and the conjunction of Aristotle's axiom and the Lotschnittaxiom, which states that "Perpendiculars raised on each side of a right angle intersect", is equivalent to the Parallel Postulate.[2]
Without the parallel postulate, Aristotle's axiom is equivalent to each of the following two incidence-geometric statements:[3] [4]
- Given two intersecting lines m and n, and a point P, incident with neither m nor n, there exists a line g through P which intersects m but not n.
- Given a line a as well as two intersecting lines m and n, both parallel to a, there exists a line g which intersects a and m, but not n.
Remove ads
References
Sources
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads