  Let \(T\) be a theory whose language, \(L(T)\), encompasses the language of set theory. Moreover, for simplicity, we shall assume that \(L(T)\) has a constant \(\omega\) denoting the set of von Neumann natural numbers and for each \(n\) a constant \(c_n\) denoting the \(n\)-th element of \(\omega\).