3.2 완전성정리 Priority 2
3.2.1 논리적으로 올바른 명제는 모두 논리적 체계 내에서 증명할 수 있다
Top