Les maths, on le sait, sont le domaine de la certitude : soit c’est démontrable, soit c’est faux. Sauf que c’est précisément l’inverse qu’a prouvé le théorème de Gödel : au sein de tout système formel suffisamment complexe pour englober l’arithmétique, il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter !