The subdiscipline of mathematical logic that studies the properties of well-determined sets of objects, relevant to mathematics.
Data Source: Unified Global Standards (ISCED, ISCO, O*NET, ESCO)