Les théorèmes d’incomplétude de Gödel — Science étonnante #37 – YouTube

Excellente vidéo de vulgarisation mathématique pour expliquer que tout n’est pas démontrable !