Title: Recherches sur la théorie de la démonstration