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