« […] Dans le domaine des recherches relatives aux fondements logico-mathématiques, sa thèse de 1930 avait établi la complétude du calcul des prédicats. Mais il est encore plus connu pour ses deux théorèmes d'incomplétude […] Le premier théorème établit l'incomplétude de tout système formel capable de formaliser l'arithmétique élémentaire […] Le second théorème est un corollaire du premier ou une spécification de celui-ci […] Ces résultats très profonds ont modifié durablement les conceptions de certains mathématiciens; mais ils ont aussi une portée philosophique considérable. […] Gödel a, en outre, donné une solution à certains problèmes mathématiques posés par la théorie einsteinienne de la relativité et est l'auteur d'une importante contribution à la logique intuitionniste et à la théorie de la démonstration. » (Inventeurs et scientifiques : dictionnaire de biographies, Larousse, 1994.)