Konservative Erweiterung

Eine Erweiterung T' einer Theorie T ist konservativ, wenn T' keine neuen Sätze in der Sprache von T beweist, die nicht bereits in T beweisbar sind; äquivalent: Jeder Satz der Ausgangssprache, der in der Erweiterung beweisbar ist, war bereits in der Basistheorie beweisbar.