Cette brochure contient le texte d’une conférence donnée lors de la séance du 14 décembre 1992 du « Séminaire de philosophie et mathématiques » au cours de laquelle G. Wallet met en évidence le lien de signification qui unit une proposition mathématique à sa démonstration. En s’appuyant sur le codage de Gödel et le résultat de Gödel, l’auteur évoque les problèmes posés par la métamathématique et l’indécidabilité, les propositions non démontrées mais expérimentalement vraies en mettant en garde le lecteur contre le dogmatisme.