Les exemples contre-factuels constituent une forme populaire d'explications souvent générées par optimisation d'une fonction de coût qui combine différentes composantes de la qualité de l'explication. Cet article se concentre sur l'agrégation finale du terme objectif, qui dépend de la tâche d'apprentissage considérée, et du terme subjectif, qui dépend de l'utilisateur considéré et plus précisément de ses connaissances. Il examine les propriétés souhaitées de cette agrégation et propose d'utiliser deux formes de l'intégrale de Gödel, en soulignant l'expressivité et la pertinence qu'elles offrent.