能力。」无论如何，塔斯基不可定义定理并未禁止以较强的理论去定义较弱的理论中的真理。例如，在N中为真的一阶皮亚诺算术式子（的编码）的集合，可以被二阶算术中的式子所定义；类似地，由二阶算术（以及任何的n阶算术）的标准模型中的真式子组成的集合，可被一阶ZFC系统中的式子所定义。雷德蒙·斯穆里安强烈建议人们将目光从哥德尔不完备定理转移到塔斯基不可定义定理上，因为前者主要涉及数学，而在哲学议题的范畴中效果不显着。反之，塔斯基定理并不直接涉及数学，却涉及任何形式语言在充分表达能力上的固有限制，值得探讨。这种语言