如何把握高中数学课程的本质与适度的形式化？

<p> 形式化是数学的特征之一，但是中学数学中的形式化受学生认知水平的限制。在高中数学课程中，适度形式化是必要的。例如，对于运算的学习，就要严格按照运算的定义，遵循运算律，过度形式化是不必要的。例如，对于几何、函数等内容，不需要过度形式化。对于几何，不必严格遵循几何的公理系统，而要关注几何直观。对于函数，也不必从集合、关系的角度去展开等。因此，高中数学课程应该返璞归真，努力揭示数学概念、法则、结论的发展背景、过程和本质，揭示人们探索真理的道路。</p>