Teildisziplin der mathematischen Logik, welche die Eigenschaften genau bestimmter Objektmengen untersucht, die für die Mathematik relevant sind.