In the Wikipedia entry on Extension by definitions I learn that an explicit definition in the language of a theory $T$ yields a conservative extension $T'$ of $T$.
I wonder if this eventually does not hold for recursive definitions or why the statement is not made more generally.
Is it true that any recursive definition in the language of a theory $T$ which allows recursive definitions yields a conservative extension $T'$ of $T$?