Set theory
전체집합이 존재하는 집합론 체계.