定义。雷德蒙·斯穆里安强烈建议人们将目光从哥德尔不完备定理转移到塔斯基不可定义定理上，因为前者主要涉及数学，而在哲学议题的范畴中效果不显着。反之，塔斯基定理并不直接涉及数学，却涉及任何形式语言在充分表达能力上的固有限制，值得探讨。这种语言须具有充分的自指能力以使得对角线引理适用。引进塔斯基定理对哲学领域的扩展效果更加显着。