수학이 추론아님?