理的证明，同样不太困难，因为它不涉及递回函数。虽然这个证明假设任何L-式子都配有歌德尔数，但我们并不需要真的去编码。所以，在一阶算术的元数学性质上，塔斯基定理比着名的哥德尔定理还容易想到和证明。
探讨.如果一种直译语言的谓词与函数符号足以定义出自身中所有语义概念，就称这语言具有「语义上强自我表达」能力。其中，必要的函数包括：「语义赋值函数」，用以将式子A映射到它的真值||A||，及「语义表示函数」，用以将项t，映射到它所表示的对象。最终，塔斯基定理总结道：「不管一种语言的表达能力有