En lógica matemática , la interpretabilidad es una relación entre teorías formales que expresa la posibilidad de interpretar o traducir una en la otra.
Supongamos que T y S son teorías formales . Ligeramente simplificado, se dice que T es interpretable en S si y sólo si el lenguaje de T puede traducirse al lenguaje de S de tal manera que S demuestre la traducción de cada teorema de T. Por supuesto, existen algunas condiciones naturales para las traducciones admisibles aquí, como la necesidad de que una traducción preserve la estructura lógica de las fórmulas .
Este concepto, junto con la interpretabilidad débil , fue introducido por Alfred Tarski en 1953. Otros tres conceptos relacionados son la cointerpretabilidad , la tolerancia lógica y la cotolerancia, introducidos por Giorgi Japaridze en 1992-1993.