La sottodisciplina della logica matematica che studia le proprietà di insiemi ben definiti di oggetti, pertinenti per la matematica.