Grâce à notre travail sur le transfert de théorèmes, cette question de recherche de théorèmes pourrait se trouver élargie à des théorèmes applicables modulo isomorphisme, cette question ayant d'ailleurs déjà donné lieu à des recherches \cite{Delahaye_2000}.