真理为如下：Tarski自己定义原子句子的真理的方式，不使用来自语义的任何技术术语，比如上面的"所表达的"。这是因为他希望以真理的方式定义这些语义术语，所以如果在真理自身的定义中使用其中之一将是循环的。Tarski的真理的语义概念在现代逻辑和当代语言哲学中扮演了重要角色。Tarski的语义理论是否应当被算做符合论或紧缩论是有争议的。Tarski自己好像有意作为对经典符合论的精致。