The subdiscipline of mathematical logic that studies the properties of well-determined sets of objects, relevant to mathematics.