Au sommaire notamment : Les mathématiques grecques sous le regard de la théorie des types (J.-L. Gardies) ; Dogmas and the changing images of foundations (J. Ferreiros) ; Proof in C17 algebra (B. Larvor) ; La recherche d'un fondement absolu des mathématiques par l'école combinatoire de C. F. Hindenburg (1741-1808) (P. Séguin) ; etc.