Réduction Preuve-Théorique

Une relation entre théories formelles par laquelle les preuves ou théorèmes d'une théorie T1 peuvent être simulés, reconstruits ou traduits à l'intérieur d'une autre théorie T2, souvent en montrant que les dérivations dans T1 correspondent à des dérivations dans T2 éventuellement avec des dispositifs supplémentaires bornés.