帮助学生完成从纯数学到严格数学的过渡。