代数结构与几何基础I—域上的射影几何

定义了域上的射影几何，证明了：它满足Ｈｉｌｂｅｒｔ几何公里体系中的结合公理，如果是有序域上的射影几何，则更满足顺序公理。