Resultado de la búsqueda: verificacion de los enunciados formales