Une démonstration mathématique n'est-elle qu'un calcul logique ?

Une démonstration mathématique n'est-elle qu'un calcul logique ?

Logique et mathématiques sont des sciences formelles, en ce qu'elles sont pures de tout contenu empirique. Leur rapprochement, dont Leibniz a été le premier artisan, s'appuie sur la possibilité de concevoir la pensée comme un calcul, mais également d'approfondir la notion de démonstration pour en faire la théorie.