Лекция 4. С.О. Сперанский. Разрешимые и неразрешимые теории.