"Doğruluk yüklemi bir dilin içerisinde diğer yüklemler gibi kullanılabildiğinde yalancı paradoksu gibi birtakım paradokslara yol açmaktadır. Örneğin, “Bu cümle doğru değildir.” cümlesi eğer doğru ise kendisinin doğru olmadığını, yanlış ise kendisinin doğru olduğunu ifade etmektedir. Bu tür sorunları ortadan kaldıracak biçimde Tarski nesne dili (İng. object language) ile üst dil (İng. metalanguage) arasında bir ayrım yapar ve doğruluk yüklemini üst dilde tanımlar."

Yukarıda bahsedilen Tarski'ye ait olan kuram aşağıdakilerden hangisinde doğru verilmiştir?