(1)
Нагорный, Н. К вопросу о непротиворечивости классической формальной арифметики. ЛИ 2001, 8, 105-128.