نظریه ی T را نسبت به نظریه ی 'T نسبی ـ سازگار (relatively - consistent) می نامیم اگر بتوانیم مفاهیم اصلی T را در زبان 'T چنان تعریف کنیم که اکسیوم های T متناظر با گزاره های معینی در 'T باشند، در این صورت نظریه ی T را تعبیر شده (interpreted) در نظریه ی 'T می گوییم.

تعاریف هم اکنون داده شده از ماهیتی فرانظری (metatheoretical nature) برخوردارند. اغلب اثبات تعبیر پذیری مزبور را می توان به طور کامل در زبان 'T اجرا کرد، گرچه استدلال های مدل ـ نظری درباره ی T و 'T سریعتر به موفقیت می انجامد.

در این مورد، این حالت خاص که 'T توسیعی از T در همان زبان L است، از اهمیت مخصوصی برخوردار است.