 Conservative extension

A **conservative extension** is a concept primarily found in model theory, a branch of mathematical logic. It refers to a scenario in which a theory, or a set of axioms, has been extended in such a way that any new statement (or sentence) that can be proven using the extended theory is already provable by the original theory, provided that this statement does not involve new symbols or concepts introduced in the extension.