théorémes de Ia théorie des ensembles.