##  [Principe de Transfert](/fr/node/60177) 

  ##  [Principe de Transfert](https://mathlogic.quantumdictionary.io/fr/node/60178) 

  

 [![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

Un schéma qui affirme que certaines formules (généralement d'une classe syntaxique précisée, souvent du premier ordre) sont vraies dans une structure étendue ou non standard exactement lorsque les formules correspondantes sont vraies dans la structure de départ, permettant le transfert de vérités entre elles.