Abstract

La communication se divise ainsi : 1° elle indique l’ambiguïté du terme « formel », puisqu’on le dit d’une part de la logique classique et d’autre part d’un calcul, considéré comme ensemble désignés sans signification ; 2° elle éclaircit, grâce à l’analyse d’une opération de calcul, ce qu’il y a de commun aux deux concepts ; 3° elle montre comment les concepts formels sont liés aux concepts non formels, qui ont un contenu. Cette question est étroitement connexe de celle du rapport de la logique et de la mathématique pure d’une part, de l’expérience d’autre part ; 4° elle analyse le concept des nombres naturels, et elle étend les résultats obtenus à la mathématique pure.