아직도 미분기하? 수리논리학은?
그리고 pnp난제는 괴델처럼 새로 철학을 창조해야 하냐