Axiom:Equal Points are Equidistant to a Third Point
Jump to navigation Jump to search
Then the following axiom holds:
- $\forall a, b, c: a = b \implies ac \equiv bc$
where $a, b, c$ are points.
If two points are the same point, they are equidistant to a third point.