Victor Delage, Peut on échapper à Godel ? Le théorème d'incomplétude énonce [...] que toute théorie mathématique, assez puissante pour formuler l'arithmétique en son sein, n'est pas complète. Icone Image