집합론
Set theory definition.