그래유. 또다시 수로 환원하려는 거예요. 해석학이나 기하학을 수로 환원하려 했던 것처럼. 그럼 점에서 수학의 여러 영역을 수로 바꾸어온 근대 수학의 역사적 전통에 충실한 셈이지유. 특히나 괴델은 증명하는 문장을 수로, 그것도 모든 수학자가 가장 확실하고 자명하다고 인정하는 자연수로 바꾸는 방법을 찾아냈어유.
수학에서 출세하는 방법이란 게 간단하구먼. 그건 무엇이든 숫자가 아닌 걸 숫자로 바꾸는 새로운 방법을 찾아내는 거지?
맞아유 수 아닌 것을 수로 바꾸는 것, 그게 수학이고,
그래서 수학이지유.