——1. Nous allons maintenant développer le Calcul des ensembles ou des classes comme une Algèbre indépendante et toute formelle, sans nous occuper du contenu, càd de la signification des formules ; et pour cela, nous devrons substituer aux définitions réelles du chapitre précédent des définitions formelles, càd définir tous les symbols par leurs relations avec d"autres symboles (ce qui ne manquerait^a pas d"impliquer un cercle vicieux, si l"on^b prenait ces définitions formelles pour des définitions primitives). Nous donnerons de chaque formule et de chaque proposition les deux interprétations, conceptuelle et propositionnelle, qu"elle peut recevoir en Logique ; et pour les distinguer, nous les ferons précéder respectivement des initiales I. C. et I. P.⁽¹⁾