Méthode axiomatique et formalisme

Préfaces de d'Henri Cartan et de J.-T Desanti. Jeune philosophe, martyr de la
Résistance dont l'action et le rôle furent liés à ceux de Jean Moulin,
Cavaillès est l'un des penseurs qui ont marqué la génération de Sartre et de
Camus et qui continue à influencer profondément la philosophie contemporaine.
Le problème posé par la crise de la théorie des ensembles. Axiomatisation et
formalisation au dix-neuvième siècle. La méthode axiomatique. Défintion d'un
système formel en général. Le formalisme hilbertien et l'analyse. Les
démonstrations de non-contradiction.