En concreto la definición de verdad de Tarski afirma que una oración es verdadera en X si y solo si es satisfecha por todos los objetos con que se ha definido una interpretación de X y falsa si no es satisfecha por ninguno.