Theorem 2.2.4 (Craig). Assuming that:

• $T$ is a first order theory with a recursively enumerable set of axioms