K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki - Nagornyĭ, N. M. (Nikolaĭ Makarovich) (Soobshcheni︠i︡a po prikladnoĭ matematike., 1995)