La sous-discipline de la logique mathématique qui étudie les propriétés des ensembles bien déterminés d’objets, pertinents dans les mathématiques.