The proof above shows that for each recursively enumerable set of axioms there is a recursive set of axioms with the same deductive closure.
The above argument shows that for every set of recursively enumerable axioms, there exists an equivalent set of recursive axioms having the same range of logical consequences.