定理，它类似于哥德尔不完全定理。粗略的说，它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。
T-模式.要公式化有关语言学事情的理论，为了避免语义悖论比如说谎者悖论，区分你谈话用的所谓对象语言和你使用的所谓元语言，一般是必须的。在下面，引用起来的句子如""P""总是对象语言的句子。所有没有引用起来的东西都是元语言的。Tarski的实质充分条件，也叫做约定T或T-模式，声称真理的任何可行的理论必须包含它，对于一个语言的所有句子"P"有：(1) "P"为真，当且