对于每个点 P 和每个不同于 P 的点 Q,存在一条唯一的直线 l 与 P 和 Q 关联。
对于每条直线 l,至少存在两个与 l 关联的不同点
存在三个不同的点,它们具有以下性质:没有一条直线与它们中的三个点关联。