 CZF omits Power Set. It replaces Foundation with \(\in\)-Induction for the same reasons as above. The axioms of Extensionality, Pairing, and Union are as in ordinary set theory. The axiom of Separation is restricted to bounded \((\Delta_0)\) formulas as in Mac Lane set theory or KPU.