Souvent : croyance que les mathématiques apportent la certitude absolue, si on prend la peine de les pratiquer tout à fait correctement sans se permettre aucun écart. Mais en fait (en plus de la non-universalité de la logique qui est prise en compte par l'intégration de plusieurs types de logique actuellement) il existe un doute irréductible : l'utilisation de la mémoire à court terme, qui nous permet par exemple d'utiliser un axiome venant d'être posé ou un résultat obtenu auparavant.