Аннотация
|
Актуальность и цели. Предлагаемая работа посвящена исследованиям по уточнению аксиоматизации арифметики в связи с наличием в ней специальных допущений. Сформулирована концептуальная проблема анализа новых свойств чисел в предположении возможности утери какой-либо исходной посылки. Материалы и методы. Дано решение концептуальной проблемы с последующим логическим анализом содержательной аксиоматической теории натуральных чисел, приведшее к обнаружению логических ошибок. Дан анализ логических ошибок на основе содержательной аксиоматической теории натуральных чисел. Показано, что свойства установленного множества «конечных вещественных чисел», или положительных действительных чисел, заключённых в заданном сегменте е имеют свойство «быть обнаруженными в зависимости не только от «искомых чисел» области актуально бесконечного, но и от действительных (положительных) чисел бесконечного полуинтервала. Результаты. Выявлены условия позволяющие установить новые свойства чисел. Выводы. Натуральный ряд N начинается только с 1, нуля в нем нет. Доказано, что современная арифметика имеет неверную аксиоматизацию и подлежит пересмотру.
|
Ключевые слова
|
предикат, индуктивный, антииндуктивный, тетрация, , абдукция, гомоморфизм, референт, Срелатум, диадическое отношение, рекурсия, антирекурсия, концептуальная проблема, свойства натуральных чисел, логические ошибки, исходные посылки, содержательная аксиоматическая теория
|