Interpretability

A formal relation between theories where one theory T is interpretable in another theory S if there exists a definable translation of the language of T into S that maps axioms of T to S‑provable formulas, thereby preserving provability and consequence of T within S.