목차

차례
서문 수학과 종교
제1장 왜 괴델인가?
1.1 괴델에 대한 평가 
1.2 괴델의 증명 문서

제2장 괴델의 수학과 신학
2.1 괴델의 수학 
2.2 괴델의 신학 

제3장 괴델 증명의 역사적 배경
3.1 안셀무스의 증명 
3.2 데카르트의 증명 
3.3 라이프니츠의 증명

제4장 괴델의 공리 
4.1 공리 1: 긍정성의 논리곱 
4.2 공리 2: 긍정성의 배타적 논리합
4.3 공리 3: 긍정성의 필연성
4.4 공리 4: 긍정성의 필연적 존재성
4.5 공리 5: 긍정성의 양립가능성

제5장 괴델의 정의 
5.1 정의 1: 신 
5.2 정의 2: 본질 
5.3 정의 3: 필연적 존재 

제6장 괴델의 정리 
6.1 정리 1: 신의 본질 
6.2 정리 2: 신 존재의 필연성 

제7장 괴델의 존재론적 증명의 의미 
7.1 괴델의 증명의 수학적 의미 
7.2 괴델의 증명의 신학적 의미 
7.3 괴델의 수학신학