“불완전성 정리” 해설 최신 수정본으로 이동합니다…