Axiom: 1.4: Equality of all Right Angles
(Postulate 4 from Book 1 of Euclid's “Elements”)
And that all right angles are equal to one another.
Modern Formulation
All right angles are congruent.
Thank you to the contributors under CC BY-SA 4.0!

- Github:
-

- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"