La rigueur du raisonnement : expression symbolique et complétude de la chaîne logique