해석학의 정리를 집합론으로 증명하잖아?
집합론은 보통 1계논리로 서술되는데
그럼 우리가 학부해석때 만지는 모든 증명은
1계논리의 증명시스템을 이용한다고 봐도 무방한 건가..?
편의상 그 형식증명을 자연어로 처리한거고?
이 패션수학도 구제가능?