수학적 추론의 정확성을 넘어선 평가

수학 추론 과정의 타당성과 효율성을 평가하는 새로운 방법론을 제안한다.