Preuves, fondements et certificats

Le fondationnalisme soutient que les propositions mathematiques sont agencees en une structure objective complexe qu'il nous incombe de decouvrir, et dans laquelle chaque proposition depend, pour sa verite, des propositions qui la precedent et qui la fondent. Aux preuves qui n'assurent que la verite des propositions qu'elles prouvent, il oppose les preuves qui indiquent la raison objective de cette verite. Le fondationnalisme insiste sur l'universelle disponibilite des ressources cognitives mobilisees par ces dernieres preuves. L'article s'emploie a contester ce point et a montrer que le fondationnalisme est une doctrine epistemologiquement intenable.