1. 서론 1.1. 괴델의 존재론적 증명 괴델은 수학, 수리논리학, 수리철학의 분야에서 연구하였으며, 그 중 유명한 업적이 바로 불완전성 정리이다. 괴델은 수학은 불완전하다는 사실을 논리적으로 증명하였는데, 이는 당시 수학이 절대적이고 완전한 학문이라 여겨졌던 인식을 크게 뒤흔든 사건이었다. 괴델의 불완전성 정리는 크게 두 가지로 구분된다. 제1 불완전성 정리는 충분히 강력한 공리계에서는 모순 없이 참이면서 증명 불가능한 명제가 반드시 존재한다는 것이다. 제2 불완전성 정리는 해당 공리계의 무모순성을 공리계 내에서 증명할 수 ...