Об устранимости аксиомы индукции

Препринт ИПМ № 9, Москва, 2005 г.

Авторы: Попов С.В.

Аннотация:

Устанавливается, что в арифметических доказательствах формул, которые не содержат индивидных переменных, устранима аксиома индукции.

Язык публикации: русский, страниц: 28

Направление исследований:

Математическое моделирование в актуальных проблемах науки и техники

Полный текст на русском языке:

Список цитирующих публикаций:

Экспорт ссылки на публикацию в формате:

Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 14 (+1), всего с 01.09.2019 — 167

Сведения об авторах:

Попов С.В.

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