An example of a predicative theory in this sense is the constructive set theory CZF, as its proof-theoretic strength is the same as that of a theory of one inductive definition known as ID\(_1\). The system IZF, instead, is impredicative, as its proof-theoretic strength equates that of the whole of classical ZF (Friedman 1973a).