신의 존재를 수학적으로 증명할 수 있을까?

불완전성 정리로 수학적 진리에 대한 생각을 바꿔놓은 위대한 수학자 괴델. 그가 타계한 후 그이 책상에서 발견된 메모에서 신의 존재에 대한 증명이 발견된다. 여기에서 괴델은 모든 긍정성을 가진 존재로 신을 정의하고, 다섯 개의 공리와 세 개의 정의와 두 개의 정리를 가지고 신의 존재를 증명한다. 그리고 괴델은 30년 이상을 연구했던 이 증명에 대하여 흡족하게 생각한다. 괴델의 합리적 수학신학은 불완전성 정리와 존재론적 증명을 포함하고 있으며, 우리에게 다음과 같은 메시지를 남겨준다.