컴퓨터 사이언스

괴델의 불완전성 정리: '절대로 증명할 수 없는 진리'의 수학적 증명