Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 9, Москва, 2005 г.
Авторы: Попов С.В.
Об устранимости аксиомы индукции
Аннотация:
Устанавливается, что в арифметических доказательствах формул, которые не содержат индивидных переменных, устранима аксиома индукции.
Язык публикации: русский,  страниц: 28
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст на русском языке:
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 0 (-4)
всего с 01.09.2019 — 6
Сведения об авторах:
  • Попов С.В.