Intertraductibilité

Une relation bidirectionnelle entre langages ou systèmes formels indiquant qu’il existe des traductions dans les deux sens qui préservent des propriétés sémantiques ou syntaxiques spécifiées, de sorte que les formules et leurs sens puissent être transportés aller‑retour à la notion d’équivalence choisie.