En septembre 1930, à Königsberg, Kurt Gödel, jeune mathématicien autrichien de 24 ans, expose devant des logiciens et philosophes prestigieux les théorèmes d'incomplétude. En apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques auparavant posée par le programme de Hilbert, ces théorèmes marquent un tournant dans l'histoire de la logique.