概念在不同的研究领域可能有不同的名称，故在此特别独立出一个小节汇整本条目的专有名词。
定理的内容.我们在这个小节会给出塔斯基定理的简易版，接着在下个小节才会论及塔斯基在1936年的完整证明。令L为一阶算术语言，令N为L的标准结构。这样，(L, N)就是「一阶算术直译语言」。L中的每个句子x都有各自的哥德尔数g(x)。令T为在N中为真的L-句子的集合，而T*为T中的句子的哥德尔数的集合。现在的问题是：一阶算术的句子可否定义出T*？塔斯基不可定义定理的回答是：没有任何在N中