##  [Réduction Interthéorique](/fr/node/60153) 

  ##  [Réduction Interthéorique](https://mathlogic.quantumdictionary.io/fr/node/60154) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une relation structurée par laquelle les concepts, lois ou résultats d'une théorie sont systématiquement traduits, dérivés ou expliqués par une autre théorie au moyen de mappages explicites, d'injections ou de relations de déductibilité qui préservent les relations inférentielles et explicatives.