내가 글 쓰는 거 대부분이 철학적인 증명이라고 생각하는데 칸트도 순수이성비판에서 우주론적 증명이니 존재론적 증명이니 하고서 증명이라고 써놓은 게 있던데 수학적인 증명은 공리 체계로 부터 시작하는 것이잖아? 증명이라고 하면 어느 쪽이 더 일반적인 것임? 증명이라는 말이 수학이 나타나기 전에 존재했는 가 의문이다.