Cette page n’a pas encore été corrigée
VI. La logique de Hilbert.
J’arrive maintenant au travail capital de M. Hilbert qu’il a communiqué au Congrès des Mathématiciens à Heidelberg, et dont une traduction française due à M. Pierre Boutroux a paru dans l'Enseignement Mathématique, pendant qu’une traduction anglaise due à M. Halsted paraissait dans The Monist. Dans ce travail, où l’on trouvera les pensées les plus profondes, l’auteur poursuit un but analogue à celui de M. Russell, mais sur bien des points il s’écarte de son devancier.
Nous avons vu plus haut, que ce que dit M. Hilbert des principes de la Logique tels qu’on a coutume de les présenter, s’applique également à la logique de M. Russell. Ainsi, pour M. Russell, la logique
