Вывод непротиворечивой математики из наиболее сильного определения универсума
Автор: Титков Г.К.
Журнал: Академический журнал Западной Сибири @ajws
Рубрика: Математика
Статья в выпуске: 1 (50) т.10, 2014 года.
Бесплатный доступ
Короткий адрес: https://sciup.org/140219355
IDR: 140219355
Список литературы Вывод непротиворечивой математики из наиболее сильного определения универсума
- Титков Г.К. Построение непротиворечивой математики как процедуры логического вывода. Обобщение одного неконструктивного непосредственного определения универсума//Академический журнал Западной Сибири. -2013. -Том 9, № 6. -С. 55.
- Френкель А.А., Бар-Хиллел И. Основания теории множеств. -М.: Мир, 1966.
Статья
