塔斯基不可定义定理

塔斯基不可定义定理，库尔特·哥德尔在1931年发表了著名的哥德尔不完备定理，他一部分是透过一阶算术逻辑的语义表达技巧来完成定理的证明。在他的算术语言中，每条表达式都配有各自的编码。这个过程称为“哥德尔编码”，而每组表达式也可配有各自的编码组。如此一来，各种语义属性（例如：当成式子或当成句子）变成可计算的。我们就可透过算术式定义任何可计算的编码组，具体而言，我们可用算术语言中的某些式子（即公理）为算术句子及可证明的算术句子定义出编码组。