Axiomatization of the theory of relativity | lit.salon