塔斯基不可定义定理（），是由阿尔弗雷德·塔斯基在1936年给出并证明，是在数理逻辑、数学基础及形式化语义方面的一个重要的限制结果。简单来说：我们无法在算术系统中定义何谓「算术的真理」。从而这个定理可被推广成适用于任何足够强的形式系统，以表明：我们无法在系统中定义何谓「系统标准模型的真理」。
历史.库尔特·哥德尔在1931年发表了着名的哥德尔不完备定理，他一部分是透过一阶算术的语义表达技巧来完成定理的证明。在他的算术语言中，每条表达式都配有各自的编码。这个过程称为「哥德尔编码」，而每