1931 Théorème de Gödel par Kurt Gödel Extrait de « Le théorème ...

Le développement des mathématiques vers plus d'exactitude a conduit, comme ... ici au système PM) se présentent comme des séries finies de signes élémentaires .... C'est ce résultat qu'il annonça à Königsberg, le 7 septembre 1930, au cours d'une .... (From the Hutchinson Encyclopedia, Helicon Publishing Ltd. © 2007).