, En conclusion, les systèmes de gestion d'exceptions en programmation informatique, n'établissant aucune implication directe entre la mise en évidence d'exceptions et la confirmation des règles dont découlent ces exceptions, révè-lent une contradiction flagrante d'un point de vue mathématique dans cette expression du langage courant : « C'est l'exception qui confirme la règle ». Autrement dit, une exception ne peut pas confirmer la règle qui l'a mise en exergue, mais elle est bien là pour infirmer la véracité absolue de celle-ci. Une assertion correcte d'un point de vue mathématique, et modélisable par un programme informatique
, Eyrolles, Tsoft, coll. « Les guides de formation Tsoft, 2006.
, Système de gestion d'exceptions
,