Лекция 10. С.Л. Кузнецов. Интуиционистская логика первого порядка, ч. 3