Así, tomando el ejemplo que Tarski hizo famoso, para la oración “La nieve es blanca” una hipotética teoría de la verdad para el castellano debe implicar que: