几何/中性几何/欧几里得前四个公设

欧几里得公设 I

对于每一点 P 和对于每一点 Q 不等于 P，存在一条唯一的直线通过 P 和 Q

解释

非正式地说，这个公设说两点决定一条唯一的直线。

欧几里得公设 II

对于每一段 AB 和对于每一段 CD，存在一条唯一的点 E 在直线 AB 上（需要 LaTeX 格式）使得 B 在 A 和 E 之间，并且线段 CD 与线段 BE 全等

解释

[待续]

欧几里得公设 III

对于每一点 O 和对于每一点 A 不等于 O，存在一个以 O 为圆心，OA 为半径的圆

解释

[待续]

欧几里得公设 IV

所有直角都彼此全等

解释

[待续]