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