Pātuhitia tēnei: Axiomatization of the theory of relativity