In logica matematica, nell'ambito della teoria della dimostrazione, un'estensione conservativa di una teoria logica T1 è una teoria T2 tale che: tutti i simboli di T1 sono presenti anche in T2 ogni teorema di T1 è anche un teorema di T2 ogni teorema di T2 esprimibile usando soltanto il linguaggio di T1 è un teorema di T1. Wikipedia