Interpretierbarkeit

Eine formale Relation zwischen Theorien, wobei eine Theorie T in einer Theorie S interpretierbar ist, wenn es eine definierbare Übersetzung der Sprache von T in S gibt, die die Axiome von T auf in S beweisbare Formeln abbildet und dadurch Provierbarkeit und Konsequenz von T in S erhält.