Le théorème de Gödel a un statut mythique. Enoncé en 1931, il a bouleversé la question du fondement des mathématiques. Sa portée est d'ordre méthodologique et philosophique ; ses difficultés étant surestimées. Le présent ouvrage rassemble - outre la traduction de l'article de Gödel - une version vulgarisée par Nagel et Newman de la démonstration de Gödel, et un texte de Girard qui fait le point sur les problèmes d'interprétation du théorème.