等）被叫做"T-句子"。它们看起来平凡的原因是，对象语言和元语言是同一种语言，在这里是汉语。而下面的也是T-句子：(3) "Der Schnee ist weiß"（德语）为真当且仅当雪是白的。（注意按Tarski最初的公式化，这个理论只适用于形式语言是重要的。他感觉自然语言太复杂和不正规而不适合形式处理。但是Tarski的方法被唐纳德·戴维森扩展为自然语言的意义理论的方法，这涉及到把"真理"当作原始的而不是定义的概念。(参见真理条件语义）。
真理.Tarski发展的这个理