Según Tarski, ningún lenguaje puede contener su propio predicado de verdad y permanecer consistente.