||，及「语义表示函数」，用以将项t，映射到它所表示的对象。最终，塔斯基定理总结道：「不管一种语言的表达能力有多强，它也不具有语义上强自我表达能力。」无论如何，塔斯基不可定义定理并未禁止以较强的理论去定义较弱的理论中的真理。例如，在N中为真的一阶皮亚诺算术式子（的编码）的集合，可以被二阶算术中的式子所定义；类似地，由二阶算术（以及任何的n阶算术）的标准模型中的真式子组成的集合，可被一阶ZFC系统中的式子所定义。雷德蒙·斯穆里安强烈建议人们将目光从哥德尔不完备定理转移到塔斯基不可定义定理上，因为前者主