집합론 건너뛰고 해석학부터 하면 차질 없이 어디까지 가능함?