Resultado de la búsqueda: proposicions formals i empíriques