学性质上，塔斯基定理比着名的哥德尔定理还容易想到和证明。
探讨.如果一种直译语言的谓词与函数符号足以定义出自身中所有语义概念，就称这语言具有「语义上强自我表达」能力。其中，必要的函数包括：「语义赋值函数」，用以将式子A映射到它的真值||A||，及「语义表示函数」，用以将项t，映射到它所表示的对象。最终，塔斯基定理总结道：「不管一种语言的表达能力有多强，它也不具有语义上强自我表达能力。」无论如何，塔斯基不可定义定理并未禁止以较强的理论去定义较弱的理论中的真理。例如，在N中为真的一