Kurt Gödel
@kurtGodel
Le développement des mathématiques vers une plus grande précision a conduit, comme on le sait, à la formalisation de grandes voies, afin que l'on puisse prouver n'importe quel théorème en utilisant rien d'autre que quelques règles mécaniques ... on pourrait donc conjecturer que ces axiomes et règles d'inférence est suffisante pour décider de toute question mathématique qui peut du tout être officiellement exprimée dans ces systèmes. Il sera montré ci-dessous que ce n'est pas le cas, que, au contraire, il y a dans les deux systèmes mentionnés des problèmes relativement simples dans la théorie des entiers qui ne peuvent pas être décidés sur la base des axiomes.