Structurale et épistémologique, mais constamment référée à l'histoire, cette étude est de celles qui recherchent dans les conditions mêmes de la connaissance mathématique l'explication de la forme que peut y prendre l'appareil de la preuve.