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