3.3 불완전성정리 Priority 3
3.3.1 괴델 수화라는 혁신적인 방법으로 형식화된 체계를 자연수론 안에서 표현하여 결정 불가능한 명제의 존재를 증명
3.3.2 1. 한 공리계가 산술을 포함하고 무모순하면, 참이면서도 증명할수 없는 명제가 존재한다
3.3.3 2. 공리계가 무모순하다는 것을 그 공리계 안에서는 증명할 수 없다.
3.3.4 결론: 명제 -A는 결정불가능하다. 따라서 명제 A와 그것의 부정 -A 모두가 이 체계에서 증명 불가능하다. 즉, 참이지만 증명이 불가능한 명제 A가 존재한다.
Top