후자는 순열, 조합, 적분, 분리, 투영, 전사, 단사, 전단사, 반군, 변환, 관계, 함수, 모듈함수, 범함수, 대수군, 초다양체, K 이론, M 이론, M 집합, 멱집합, 부분집합, 초집합, 일상적인 흔한 이런저런 집합을 비롯해


칸토어의 절대적 무한,강콤팩트 기수, 초콤팩트 기수, 가장 큰 기수 ,ZFC 공리계
모든 기하학,논리 비논리 구조,모든 자료,형태,처리를 이루는 모든 집합,문자,기호,숫자,방정식,그래프,함수,분포도의 모든 수학적 도구,내용들을 모조리 어떻게,왜,무엇때문에 생겼는지에 대한 추상적인 근원과 이것이외에도 다른 추상적인 것들까지 하나도 빠짐없이 완벽히 풀어내며 하다못해 위에 열거된 것들을 폐기시켜 저들을 전부 대체하는 도구들 조차 전부 창조함


선택은?