四线几何

四线几何是一种有限几何，受以下三个公理约束

1. 恰好存在四条线，

2. 任意两条不同的线恰好有一个公共点，并且

3. 每个点恰好在两条线上。

四线几何是范畴的。

像许多有限几何一样，三点几何中可证明的定理数量很少。其中，可以证明恰好存在六个点，并且每条线上恰好有三个点。在这方面，四线几何是最简单的有限几何之一。

请注意，通过形成四线几何公理的平面对偶（即，在以上讨论中互换术语“点”和“线”），可以获得四点几何的公理。在这个新的（但等价的）几何中，上述结果的平面对偶仍然成立。