Аннотация:
Показано, что если в аксиоматике Цермело–Френкеля использовать расширение базового языка, которое допускает в формулах отношения на значениях рекурсивных функций от натурального аргумента, то в теории множеств возникают противоречивые конструкции на уровне арифметики.
Ключевые слова:
теория Цермело–Френкеля, рекурсивные функции, теория множеств.
Поступила в редакцию: 21.06.2009 Исправленный вариант: 02.07.2009
Тип публикации:
Статья
Образец цитирования:
А. В. Коганов, “Возникновение противоречий в теории множеств Цермело–Френкеля при расширении базового языка рекурсивными функциями”, Компьютерные исследования и моделирование, 1:4 (2009), 367–380
\RBibitem{Kog09}
\by А.~В.~Коганов
\paper Возникновение противоречий в теории множеств Цермело--Френкеля при расширении базового языка рекурсивными функциями
\jour Компьютерные исследования и моделирование
\yr 2009
\vol 1
\issue 4
\pages 367--380
\mathnet{http://mi.mathnet.ru/crm653}
\crossref{https://doi.org/10.20537/2076-7633-2009-1-4-367-380}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/crm653
https://www.mathnet.ru/rus/crm/v1/i4/p367
Эта публикация цитируется в следующих 1 статьяx:
Vladimir V. Belov, Aleksandr K. Lopatin, E. Nikulchev, G. Bubnov, “Automated Approach for Product Sizes Measurement on the Conveyor Belt”, ITM Web Conf., 10 (2017), 01002
Цитирование в формате AMSBIB
Обратная связь: