De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory

Robert Passmann

We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with re…