非ユークリッド幾何学
プロクロスは、「原論」の注釈書に於いて平行線公準が定理なのではないかと述べている。
プトレマイオスは「平行線公準を証明した」と主張したが、その証明は巡り巡って「原論」第1 巻命題 29 に依っており、命題 29 は平行線公準により証明されているので主張は正しくなかった。