Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

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