Відправити по sms: Axiomatization of the theory of relativity