Email Record: Axiomatization of the theory of relativity /