Лекция 6. Л.Д. Беклемишев, Т.Л. Яворская. Доказуемость и формальная арифметика, часть 2.