而下面的也是T-句子：(3) "Der Schnee ist weiß"（德语）为真当且仅当雪是白的。（注意按Tarski最初的公式化，这个理论只适用于形式语言是重要的。他感觉自然语言太复杂和不正规而不适合形式处理。但是Tarski的方法被唐纳德·戴维森扩展为自然语言的意义理论的方法，这涉及到把"真理"当作原始的而不是定义的概念。(参见真理条件语义）。
真理.Tarski发展的这个理论，给出了真理的归纳定义为如下。对于包含~（"非"）、&（"与"）、v（"或"）和量词（