Al contrario de la declaración del mentiroso, formula_6 no se refiere directamente a sí mismo; la interpretación de arriba sólo se puede "ver" desde fuera del sistema formal.