Aristotle's axiom (original) (raw)

Aristotle's axiom is an axiom in the foundations of geometry, proposed by Aristotle in On the Heavens. It 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.