方程表示的话，过2点的直线可以表示为：
公理 2.给定两点 formula_1 和 formula_2，有且仅有一种方法把 formula_1 折到 formula_2 上。这条公理相当于是作线段 formula_42的垂直平分线。这可以通过以下四个步骤完成：
公理 3.给定两直线 formula_7 和 formula_8，可以把 formula_7 折到 formula_8 上。这条公理相当于是找出 formula_7 和 formula_8