Konservativitätslücke

Ein Fehlerfall bei Theorieerweiterung, bei dem das Hinzufügen neuer Symbole, Axiome oder Prinzipien zu neuen Theoremen in der Sprache der ursprünglichen Theorie führt, die zuvor nicht ableitbar waren, und somit die erwartete Konservativität verletzt.