四線幾何

四線幾何是一種有限幾何，受以下三個公理約束

1. 恰好存在四條線，

2. 任意兩條不同的線恰好有一個公共點，並且

3. 每個點恰好在兩條線上。

四線幾何是範疇的。

像許多有限幾何一樣，三點幾何中可證明的定理數量很少。其中，可以證明恰好存在六個點，並且每條線上恰好有三個點。在這方面，四線幾何是最簡單的有限幾何之一。

請注意，透過形成四線幾何公理的平面對偶（即，在以上討論中互換術語“點”和“線”），可以獲得四點幾何的公理。在這個新的（但等價的）幾何中，上述結果的平面對偶仍然成立。