« […] 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

« […] Le système de Bacon réside essentiellement dans la substitution d'une nouvelle logique, expérimentale et inductive, à l'ancienne, aprioriste et déductive. Bacon distingue en effet, à travers l'histoire de la pensée, deux voies pour accéder à la vérité : « L'une part des sensations et des faits particuliers pour s'envoler de là aux propositions les plus générales, et c'est en se fondant sur ces principes et leur vérité supposée inébranlable qu'elle découvre et apprécie les propositions intermédiaires : c'est cette voie que l'on