Extensión Conservadora

Una extensión T' de una teoría T es conservadora si T' no prueba nuevas oraciones en el lenguaje de T aparte de las ya probables en T; equivalentemente, toda oración del lenguaje original demostrable en la extensión ya lo era en la teoría base.