。
真理.Tarski发展的这个理论，给出了真理的归纳定义为如下。对于包含~（"非"）、&（"与"）、v（"或"）和量词（"所有"和"存在"）的语言"L"，Tarski的真理的归纳定义为如下：它们解释了（建造自连结词和量词）复杂句子的真理条件如何被归约到它们的构件的真理条件。最简单的构件是原子句子。真理的当代语义定义原子句子的真理为如下：Tarski自己定义原子句子的真理的方式，不使用来自语义的任何技术术语，比如上面的"所表达的"。这是因为他希望以真理的方式定义这些