conservative extension
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.