El truco envuelve dejar a la verdad ser una propiedad parcialmente definida sobre el conjunto de enunciados gramaticalmente bien formados del lenguaje.