Extension Conservative

Une extension T' d'une théorie T est conservative si T' ne prouve aucune nouvelle phrase dans le langage de T au-delà de celles déjà démontrables dans T ; équivalemment, toute phrase du langage initial prouvable dans l'extension était déjà prouvable dans la théorie de base.