# Axiom:Uniqueness of Triangle Construction

## Axiom

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'$

where $a, b, c, c', d$ are points.

## 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".