Estensione conservativa
Da Wikipedia, l'enciclopedia encyclopedia
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.
Nella teoria dei modelli, T2 si dice un'estensione conservativa di T1 se ogni modello di T1 può essere esteso in un modello di T2. Tutte le estensioni conservative nel senso della teoria dei modelli lo sono anche nella definizione della teoria della dimostrazione.