conservative extension en · NOUN
Meanings
- An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| conservative extensions | Number=Plur | lexicographic |