数学的形式化包括"；符号化、逻辑化和公理化”三个层面

数学的现代发展也表明，全盘形式化是不可能的。因此，高中数学课程应该返璞归真，努力揭示数学概念、法则、结论的发展过程的本质。”所谓“数学形式”，就是用特定的数学语言,包括数学的符号语言、图象语言和文字语言,表达自然现象和社会现象的空间结构和数量关系，即具有相对固定样式的数学概念、法则、结论，...