DictionaryAI

conservative extension

Short definition from Wiktionary

Noun

  1. An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

We haven’t written up conservative extension yet: Simple and Standard meanings, examples and a quiz.