式化有关语言学事情的理论，为了避免语义悖论比如说谎者悖论，区分你谈话用的所谓对象语言和你使用的所谓元语言，一般是必须的。在下面，引用起来的句子如""P""总是对象语言的句子。所有没有引用起来的东西都是元语言的。Tarski的实质充分条件，也叫做约定T或T-模式，声称真理的任何可行的理论必须包含它，对于一个语言的所有句子"P"有：(1) "P"为真，当且仅当"p"。（这里的"p"简写了由目标语言的句子"P"所表达的，元语言中的命题。）例如(2) "雪是白的"为真当且仅当雪是白的。（2）的前