Специальная теория относительности

Для этого необходимо рассмотреть три инерциальные системы S1, S2 и S3. Пусть скорость системы S2 относительно системы S1 равна v₁, скорость системы S3 относительно S2 равна v₂, а относительно S1, соответственно, v₃. Записывая последовательность преобразований (S2, S1), (S3, S2) и (S3, S1), можно получить следующее равенство:

Постулат  постоянства скорости света

Исторически важную роль при построении СТО сыграл второй постулат Эйнштейна, утверждающий, что скорость света c не зависит от скорости движения источника и одинакова во всехинерциальных системах отсчёта. Именно при помощи этого постулата и принципа относительности Альберт Эйнштейн в 1905 г. получил преобразования Лоренца с фундаментальной константой c, имеющей смысл скорости света. С точки зрения описанного выше аксиоматического построения СТО второй постулат Эйнштейна оказывается теоремой теории и непосредственно следует из преобразований Лоренца 

Непротиворечивость  теории относительности

Теория относительности  является логически непротиворечивой теорией. Это означает, что из её исходных положений нельзя логически  вывести некоторое утверждение  одновременно с его отрицанием. Поэтому  множество так называемых парадоксов (подобных парадоксу близнецов) являются кажущимися. Они возникают в результате некорректного применения теории к тем или иным задачам, а не в силу логической противоречивости СТО.

Справедливость теории относительности, как и любой  другой физической теории, в конечном счёте проверяется эмпирически. Кроме этого, логическая непротиворечивость СТО может быть доказана аксиоматически. Например, в рамках группового подхода показывается, что преобразования Лоренца могут быть получены на основе подмножества аксиомклассической механики. Этот факт сводит доказательство непротиворечивости СТО к доказательству непротиворечивости классической механики. Действительно, если следствия из более широкой системы аксиом являются непротиворечивыми, то они, тем более, будут непротиворечивыми при использовании только части аксиом . С точки зрения логики противоречия могут возникать, когда к уже существующим аксиомам добавляется новая аксиома, не согласующаяся с исходными. В аксиоматическом построении СТО, описанном выше, этого не происходит, поэтому СТО является непротиворечивой теорией^[10].