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.

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.