I am curious whether the triangle inequality is made to hold in any geometry (from the beginning) or is a consequence of some axioms.
The denial of the inequality would create havoc in that conceivable geometry.