Introduction
Il semble, au premier abord possible de tout démontrer : un avocat ne peut-il pas par exemple soutenir n’importe quelle thèse, défendre n’importe quelle cause de manière argumentée ? Un habile rhéteur n’est-il pas en mesure de développer n’importe quelle démonstration ? Cependant, le cas des mathématiques semble mettre en exergue le fait que certaines choses ne peuvent être démontrées : les axiomes ne peuvent pas faire l’objet d’une démonstration et doivent être admis comme des vérités premières. Dès lors est-il possible véritablement de tout démontrer ?