Аннотация:
Исследуется расширение формальной арифметики утверждением о недостижимости конкретного “большого” натурального числа. В работе показано, что хотя полученная система противоречива, “короткими” доказательствами в ней можно получить только те формулы в языке арифметики, которые являются арифметическими теоремами.
Библиография: 10 названий.