Les maths sont censées être le domaine de la certitude : soit c’est démontrable, soit c’est faux. Eh bien ce n'est pas si simple. Le théorème de Gödel a prouvé qu'il existe des propositions « indécidables », qu’on ne peut ni prouver ni réfuter. Premier résultat limitant de l'histoire des mathématiques...