No se trata aquí de la posibilidad efectiva de verificar un enunciado o del conocimiento de un método que permitiría verificarla