The fifth postulate of Euclidean geometry, which states that exactly one line can be drawn through a given point parallel to a given line.

许多数学家曾试图用其他公理来证明平行公设。