In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. ==Informal definition== Assume T and S are formal theories. Slightly simplified, T is said to be interpretable in S if and only if the language of T can be translated into the language of S...