Axiom:Axiom of Segment Construction

Axiom
Let $a,b,q,x$ be points.

Let $\equiv$ be the relation of equidistance.

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

Then the axiom of segment construction is given by the following sentence:


 * $\forall a,b,c,q: \exists x: \mathsf{B}qax \land ax \equiv bc$

Intuition

 * AxiomOfSegmentConstruction.png

Let $bc$ be a line segment.

Let $a$ be a point on a ray with endpoint $q$.

One can create a line segment congruent to $bc$. This line segment is $ax$.