Note: This is an edit of the previous question.
By $T_2$ conservatively extends $T_1$ if and only if:
There exists a function $F$ such that $T_2$ extends $T_1$ through $F$; and for every function $G$ such that $T_2$ extends $T_1$ through $G$, we have $T_2$ conservatively extends $T_1$ through $G$.
For definitions of the above terminology see "About conservative extensions of First Order theories?"
Now lets assume $T_1$ and $T_2$ to have the same language, like for example with the case of $ZFC$ and $Predicative \ MK$ set theories, where the later is a weakening of Morse-Kelley set theory by restricting class comprehension scheme to formulas in which all quantifiers are bounded in $V$. I think that $Predicative \ MK$ would conservatively extends $ZFC$ according to the above definition. The former theory is finitely axiomatizable.
Now my question is can we apply methods present in the answer to this question as to get also finitely axiomatizable conservative extensions [in the above sense] for all first order theories [meeting qualifications in that posting] even if they were written in the same language?