conservative extension (English, noun)
expansion: conservative extension (plural conservative extensions)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Forms:
form: conservative extensions
tags: plural