Я пытался понять причину противоречивости СТО и пришел к выводу, что причиной является неучет и полное игнорирование массы тел, с которыми связаны ИСО
Противоречия возникают, не спорю. Но не в рамках СТО, которые она сама себе установила. Внутри теории противоречий нет.
СТО сугубо кинематическая математическая абстракция, соотношения которой справедливы исключительно в условиях отсутствия взаимодействий между объектами. Тогда, например, любая масса может "прикрепить к себе" ИСО.
Как только Вы захотите описать взаимодействия (а это обязательно обмен энергией), то сразу гипотеза об "ИСО" перестает действовать, и теоретики СТО "умывают руки" - типа СО не инерциальна, поэтому соотношения СТО не выполняются. А что не витающим в теоретических облаках физикам делать в таких случаях, СТО не говорит.
По идее авторов ТО, этот недостаток должна устранять ОТО. Но делает это настолько "коряво" и натянуто с физической точки зрения, что, в попытке сохранить принципы СТО, теряет основополагающие законы сохранения физики - прежде всего, закон сохранения энергии.
Получается, что любой школьник может с легкостью опровергнуть СТО.
В том и беда, что в рамках своего формализма теория непротиворечива, а потому и неопровержима. Но физикам интересен не формализм внутри теории, а адекватность описания ею реальности. А при наложении теории на реальность остается много "не закрытых" ее формализмом пятен. Математиков это не волнует. А физики, к сожалению, на настоящий момент просто перевелись. Либо "задавлены авторитетом" формалистов-математиков. Все указанные мною недостатки ТО давно выявлены физически реально мыслящими теоретиками и в значительной степени исправлены. Например, отрыв ОТО Эйнштейна от ЗСЭ исправлен Розеном и его последователями. Но математика при этом становится сложнее.
Формалисты, которым соответствие теории реальности - не довод, применяют универсальный формальный инструмент - "бритву Оккамы". Чем проще математика - тем им лучше. В результате обещают "когда-нибудь" "теорию всего" вот уже 100 с лишним лет.