Extension Non Conservatrice

Une extension d'une théorie formelle obtenue en ajoutant de nouveaux axiomes (ou schémas d'axiomes) qui permet de démontrer au moins une nouvelle formule exprimable dans le langage originel de la théorie ; autrement dit, l'extension n'est pas conservatrice par rapport aux phrases du langage initial.