Interpretabilidad

Una relación formal entre teorías en la que una teoría T es interpretable en otra S si existe una traducción definible del lenguaje de T en S que envía los axiomas de T a fórmulas demostrables en S, preservando así la demostrabilidad y consecuencia de T dentro de S.