Conservativity Gap

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A failure mode in theory extension where adding new symbols, axioms or principles yields new theorems in the language of the original theory that were not derivable before, thus violating the expected conservativity of the extension.