Теория представляет собой набор постулатов (аксиом) и правил вывода. Если теория формализованная, то должен быть точно указан алфавит теории, сформулирован синтаксис (правила образования формул), указаны все аксиомы и правила вывода. Если теория не формализованная, то всё это имеется в некотором "подразумеваемом" состоянии и явно выписано только частично.
Доказательство какого-либо утверждения (формулы) состоит из последовательности утверждений, в которой каждое утверждение является либо аксиомой (постулатом), либо ранее доказанным утверждением, либо получается из предыдущих утверждений применением одного из правил вывода.
Существенным здесь является то, что если некоторое утверждение
доказуемо в теории, то добавление нового постулата (аксиомы) к теории оставляет утверждение
доказуемым. То есть, в теории с добавленной аксиомой будут доказуемы все утверждения, которые были доказуемы без новой аксиомы, и, кроме того, могут появиться новые доказуемые утверждения.
Согласен.
Цитата:
Теперь рассмотрим вашу "теорию". Вы берёте в качестве исходной механику Ньютона. В этой теории доказуемо, что скорость тела может неограниченно увеличиваться, поэтому предельной (в смысле, максимальной) скорости в этой теории нет и не может быть.
Далее Вы добавляете в качестве новой аксиомы отрицание этого утверждения. Как уже сказано, все утверждения, доказуемые в механике Ньютона, остаются доказуемыми и в расширенной теории. В результате в вашей теории доказуемо как утверждение о неограниченности скорости тела, так и его отрицание. Это означает, что ваша теория противоречива.
Не надо так спешить с выводами. Если мы добавим к старой теории новый постулат, то мы получим старые результаты плюс новые результаты. Но, если мы старый постулат(ы) меняем на новый постулат(ы), то старые результаты уже могут и не входить в новую теорию, или входить лишь частично, как предельный случай.
У нас был старый постулат:
Есть два множества чисел от нуля до бесконечности - множество значений импульса тела и множество значений его скорости. Между этими множества есть взаимно однозначное отображение в виде постоянного коэффициента - массы.
Мы вводим, вместо старого постулата новый постулат:
У нас есть два множества чисел. Одно множество в диапазоне от нуля до бесконечности - множество значений импульса тела, другое множество в диапазоне от нуля до величины
- множество значений скорости. Между этими множества есть взаимно однозначное отображение в виде функции множества скорости - массы.
Как только мы ввели это изменение постулатов, мы начали построение новой теории. Дальше идёт анализ, какие старые постулаты надо заменить на новые, а какие можно оставить, чтобы получить непротиворечивую теорию, включающую старую теорию в виде предельного случае.
Это такой способ построения новой теории, на основе старой.
Цитата:
Я не включал старую теорию в новою, а добавил в старую теорию новый постулат.
Это автоматически включает в новую теорию всю старую со всеми её доказуемыми утверждениями. Добавление новых средств доказательства без исключения части старых не может сделать доказуемое утверждение недоказуемым.
Это просто такое упрощённое выражение "добавил новый постулат". На самом деле постулаты старой теории изменяются, а не просто механически переносятся в новую теорию.
Если вы перейдёте от п.3 сразу к п.6, то автоматически получите пакет постулатов СТО. Далее, по накатанной дорожке Ландау-Лифшица получаем всю математику новой теории без всяких дополнительных предположений.