2009 개정 수학과 교육과정에서는 형식적이고 연역적인 증명 대신 추측 활동과 그 추측이 왜 참인지 이유를 설명할 수 있는 수준의 정당화를 강조하고 있다.
The 2009 revised mathematics curriculum emphasizes the level of justification that can explain why the guess is true and the activity of guessing instead of requiring formal and deductive proof.