Title: K voprosu o neprotivorechivosti klassicheskoĭ formalʹnoĭ arifmetiki
Subjects: Symbolic and mathematical Logic, Intuitionistic mathematics