La théorie de classes, c’est à dire cette partie de la théorie des ensembles qui constitue de nouvelles mathématiques, était connue par les grecs anciens mais est devenue formalisée seulement au 19e siècle. Le travail et la recherche ont commencé avec Boole et ont continué après de De Morgan, Frege et Schröder jusqu’à Russell et Péano qui ont employé la symbolique de la logique formelle. Par ailleurs d’Euler à Venn des cercles et des ellipses sont utilisés pour les représenter. Le document original a été édité dans les Mathématiques à l’école (mars 1977) V. 6 (2) p. 17-20.