SMS: Логические и экспериментальные основы теории относительности