Resultado de la búsqueda: verdad formal y empirica