RUS  ENG
Полная версия
ЖУРНАЛЫ // Препринты Института прикладной математики им. М. В. Келдыша РАН // Архив
Препринты ИПМ им. М. В. Келдыша, 2005, 009, 28 стр. (Mi ipmp650)
Об устранимости аксиомы индукции

С. В. Попов


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


© МИАН, 2025