논리 상 명석 하 다는 수학 의 경우 에 도 ‘ 진리 ’ 와 ‘ 정리 ’( 定理 ) 란 따로 놀 고 있 다는 이 사실 만큼 인간 적 인 것 이 또 있 을까 . ‘ 정리 ’ 란 그것 이 ‘ 증명 된다 ’ 는 의미 에서 올바른 것 . 이 에 대해 ‘ 진리 ’ 란 증명 될 수 있 음 / 없 음 에 관계없이 올바른 것 이 아닌가 . 그러니까 정리 는 수학 이 라는 특정 분야 의 내부 에 속하 는 것 이 며 거기 에 는 증명 이 필수 적 일 수 밖에 . 왜냐면 수학 자체 ( 작가 자신 ) 속 의 증명 되 기 란 무 모순 이 어야 하 니까 . 그런데 보 시 라 . 동일 체계 속 의 무 모순 이 란 결정 불 가능 성 에 빠지 고 마 니까 . 괴델 의 불 확정 성 이론 이 이 를 가리킴인 것 . 이 를 돌파 하 기 위해서 는 수학 ( 작품 ) 외부 의 모델 도입 이 불가피 한 법 . 외부 의 진리 말 이 외다 . 15 년 에 걸친 수능 시험 , 그것 은 이 나라 교육 현장 의 ‘ 정리 ’ 와 ‘ 진리 ’ 의 정수 를 모은 것 이 아니 었 을까 . 새삼 찬사 를 보낼 만 하 오 .