對於每條直線*l* 和點P,其中點P 不在直線*l* 上,存在一條唯一的直線*m* 透過點P,並且與直線*l* 平行
[待續]
歐幾里得平行公設不能在不將其作為公理的情況下被證明,而中性幾何沒有這樣做,因為它在歐幾里得幾何中成立,但在雙曲幾何中不成立。因此,這既不是真也不是假。