...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.
Hans Reichenbach (1958). “Philosophie Der Raum-Zeit-Lehre”, p.87, Courier Corporation
