順序公理
希爾伯特公理系統中的第二組公理
順序公理(axiom of order)是基本的幾何公理之一,指希爾伯特-歐幾里得幾何系統公理表中的第二組公理,是建立點的位置關係的公理,包括以下四條:1.如果B點介於A和C兩點之間,那麼A,B,C是一直線上的三個不同的點,並且B也介於C和A之間;2.對於任何不同的A,B兩點,在直線AB上至少有一點C,使得B介於A和C之間;3.在一直線上任何不同的三點中,至多有一點介於其餘兩點之間;4.(帕施公理)設A,B,C是不在同一直線上的三點,a是平面ABC上的一直線,它不通過A,B,C中任何一點,如果a有一點介於A和B之間,那麼a必還有一點介於A和C或B和C之間 。