Kurt Gödel était un mathématicien et logicien, aujourd'hui considéré comme un des plus importants de l'Histoire. Il est principalement connu pour un théorème étonnant : il a montré qu'en arithmétique, toute théorie contient des énoncés que l'on ne peut ni prouver ni contredire. Cette démonstration est connue sous le nom de théorème d'incomplétude.