 Curry’s first method subsequently gave rise to set-theoretic Curry sentences. A theory of sets features unrestricted set abstraction provided that for any condition statable in the language of the theory, there exists a set that (according to the theory) contains all and only the things that meet this condition. Let \(\mathcal{T_S}\) be our theory of sets, formulated in a language that expresses set abstraction using \(\{ x: \phi x\}\) and set membership using \(\in\). Then the counterpart of  (Property)  is