Nichtkonservative Erweiterung

Eine Erweiterung einer formalen Theorie durch Hinzufügen neuer Axiome (oder Axiomenschemata), die mindestens einen neuen Satz erzeugt, der in der ursprünglichen Sprache der Theorie ausgedrückt werden kann; mit anderen Worten: die Erweiterung ist gegenüber der Basistheorie für Sätze der alten Sprache nicht konservativ.