Principe de Transfert

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.