О локальной непротиворечивости арифметики с предикатом “достижимости”

Наличие в системе формальной арифметики с предикатом достижимости недостижимого натурального числа делает эту систему противоречивой. Тем не менее при “большом” недостижимом числе “короткими” выводами можно получить только те формулы, не содержащие предиката достижимости, которые доказуемы в обычной системе формальной арифметики.
Библиогр. 4.