conservative extension in English - dictionary and translation

English Wikipedia - The Free Encycl...

Conservative extension

is a (proof theoretic) conservative extension of a theory

if the language of

extends the language of

; every theorem of

is a theorem of

; and any theorem of

that is in the language of

is already a theorem of