Можно уточнить, что неправильно в теме
topic25773.html?
Аксиоматика.
1) состояние - "мгновенный снимок" переменной
2) любая переменная есть изменение между двумя состояниями - начальным и конечным; любая переменная участвует в изложении в обоих своих состояниях - начальном и конечном - и соответственно двусимвольно обозначается
3) любая функция - полином, не существует функций-неполиномов
4) коэффициенты функции-полинома - меняются в зависимости от аргументов вместе с самой функцией, т.е. образуют (не являются, а только образуют) производные функции; сами по себе коэффициенты - не функции, а свободные члены (состояния) соответствующих производных функций
5) первообразная - функция, восстановленная из производной функции
Докажите непротиворечивость аксиоматики: предъявите модель или сведите утверждения к стандартным математическим определениям или теоремам.
Сильное подозрение вызывает подстановка предложения 1 в 2: любая переменная есть изменение между начальным и конечным мгновенными снимками" переменных. Это не соответствует ни математическому пониманию переменной, ни программистскому.
Далее, "любая функция - полином, не существует функций-неполиномов" - бред в стандартном смысле. Значит переопределяйте понятия или доказывайте утверждение.
Далее, "коэффициенты функции-полинома - меняются в зависимости от аргументов вместе с самой функцией" - бред в стандартном смысле. Значит переопределяйте понятия или доказывайте утверждение.
5 - это аксиома? Вы действительно так думаете? В стандартном смысле это известное определение, его можно изъять или здесь опять переопределены понятия?
Интересует Вас ведь исключительно аксиоматика?
В заглавном посте изложение построено на аксиомах, они не доказываются а просто вводятся.
Аксиоматика Ваша явно вводится в каком-то контексте известных понятий и определений (иначе из неё вообще ничего не следует). Если брать обычный контекст, то из аксиомы 3 сразу получаем бред, пустую теорию. Значит нужно описать контекст или дополнить/уточнить/исправить/выкинуть Вашу аксиоматику.
Нестандартно ввожу переменную (п. 2), свойства ее таковы, что она становится более сложным объектом относительно стандартной переменной. П. 1 и меня смущает, но пока более понятно не могу объяснить, что такое состояние. Рассматриваем нечто меняющееся, называем его переменной. Переменная обладает двумя разными свойствами - состоянием и изменением, их природа различна, поэтому они вводятся раздельно. На этих тонкостях отличия состояния от изменения держится все остальное изложение.
Ну так возвращайтесь, когда сможете. И более того: между "объяснить" и "определить" тоже лежит немалая пропасть.
Вот Вы не объяснили ничего, а объяснение, причём настоящее, а не такое, должно быть уже в стартовом посте.
Ссылка у вас там была, которую я стёр - Вы её не хотите воспроизвести? Если хотите, то как насчёт её содержимого - удовлетворяет ли оно правилам форума? Если нет, то что нужно сделать?
Ну и наконец:
На основе вышеозначенного получил следующие результаты.
1. не-Кардано и не-Виета решение кубического уравнения

:

Примечание: формула не считает кратные корни, но может считать при

, получая решения квадратного уравнения, что не возможно в Кардано и Виета решениях.
Где доказательства?