 ##  [Conservativity Gap](/conservativity-gap) 

  ##  [Conservativity Gap](https://mathlogic.quantumdictionary.io/conservativity-gap-0) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

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.