Лекция 9. Классическое натуральное исчисление предикатов