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