1 problem

Let $\operatorname{IZF}$ denote Intuitionistic Zermelo–Fraenkel set theory, and let an intermediate logic be a propositional logic extending intuitionistic propositional logic. The…