ige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit）。
专有名词介绍.这个条目中包含了许多逻辑学、数学、语言学的专有名词，且相同的概念在不同的研究领域可能有不同的名称，故在此特别独立出一个小节汇整本条目的专有名词。
定理的内容.我们在这个小节会给出塔斯基定理的简易版，接着在下个小节才会论及塔斯基在1936年的完整证明。令L为一阶算术