Équivalence Définitionnelle

Une relation entre théories formelles qui tient lorsque chacune peut s'obtenir de l'autre par l'ajout de définitions explicites de nouveaux symboles de sorte que les deux théories soient intertraduisibles sans modifier le contenu des phrases dans les vocabulaires d'origine.