Axiom:Uniqueness of Triangle Construction

Axiom
Let $a,b,c,c',d$ be points.

Let $\equiv$ be the relation of equidistance.

Let $\mathsf{B}$ be the relation of betweenness.

Let $=$ be the relation of equality.

This axiom asserts:


 * $\forall a,b,c,c',d:$


 * $\left[{\neg \left({a=b}\right) \land ac \equiv ac' \land bc \equiv bc' \land \mathsf{B} bdc' \land \left({\mathsf{B} adc \lor \mathsf{B} acd }\right)}\right]$


 * $\implies c = c'$

Intuition
Construct a triangle $abc$.



Pick a point $c'$ such that:

The length of the line segment $ac$ is the same as that of $ac'$.

The length of the line segment $bc$ is the same as that of $bc'$.

Draw a line segment connecting point $b$ and point $c'$.

Let $d$ be some point on segment $bc'$.

If points $a,c,d$ are collinear, then points $c$ and $c'$ are the same point.

Note that this axiom still holds in degenerate cases.

For example, one can consider a line segment as a degenerate triangle.

In such a case, this axiom might be interpreted as "if two points are the same distance away from the left and right endpoints of a line segment and are on that line segment, they are the same point".

Also see

 * Two Lines Meet at Unique Point