Прямым называется доказательство, в котором тезис выводится из аргументов по правилам дедуктивных умозаключений. Никаких дополнительных приемов рассуждения при этом не используется. Если аргументы истинны, то тезис из них следует с логической необходимостью и достоверностью. Так в математике доказывается большинство теорем. Косвенным доказательством называют доказательство, в котором сначала доказывается антитезис, а затем уже, убедившись в ложности антитезиса, доказывают истинность тезиса. Таким образом, косвенное доказательство начинается с того, что выдвигается допущение, противоречащее тезису...

Специальная теория относительности (СТО) была создана Альбертом Эйнштейном в работе 1905 года «К электродинамике движущихся тел». Как утверждает автор (и большинство последователей этой теории) СТО содержит 2 постулата (В математике, логике: исходное положение, допущение, принимаемое без доказательств.) На самом деле СТО содержит 5 постулатов, но сегодня речь не об этом. Итак, первый постулат звучит так: "Постулат 1 (принцип относительности Эйнштейна). Законы природы одинаковы во всех системах координат, движущихся прямолинейно и равномерно друг относительно друга...