下面说法错误的是A. 形式化有助于数学理论体系的简单化、严格化和系统化B. 数学的形式化包括“符号化、逻辑化和公理化”三个层面C. 数学教学的重要目标是将数学形式化D. 数学符号化是数学形式化的基础

本题考查对数学形式化相关概念的理解。解题思路是依次分析每个选项，判断其关于数学形式化的描述是否正确。

• 选项A：
  • 形式化是指用一套精确的、无歧义的符号语言来表达数学概念、命题和推理规则。
  • 通过形式化，可以将复杂的数学理论用简洁的符号和规则表示出来，避免了自然描述的模糊性和歧义性，使得数学理论体系更加简单、严格和系统化。所以选项A的说法是正确的。
• 选项B：
  • 数学的形式化主要包括“符号化、逻辑化和公理化”三个层面。
  • 符号化是用特定的符号来表示数学对象和运算，例如用“$+$”表示加法运算；逻辑化是运用逻辑规则进行推理和证明，保证数学结论的正确性；公理化是从一些基本的公理出发，通过逻辑推理推导出整个数学理论体系，如欧几里得几何就是基于几个公理建立起来的。所以选项B的说法是正确的。
• 选项C：
  • 数学教学的重要目标是培养学生的数学素养，包括数学思维能力、问题解决能力、数学应用意识等。
  • 虽然形式化在数学中很重要，但不能将其作为数学教学的唯一重要目标。如果只强调形式化，可能会使学生陷入繁琐的符号和规则中，而忽略了数学的本质和实际应用。所以选项C的说法是错误的。
• 选项D：
  • 数学符号化是用符号来表示数学概念、对象和运算，它是数学形式化的基础。
  • 没有符号化，就无法用简洁、准确的方式表达数学内容，逻辑化和公理化也就难以实现。例如，没有数字符号“$1,2,3,\cdots$”和运算符号“$+$、$-$、$\times$、$\div$”，就无法进行数学运算和推理。所以选项D的说法是正确的。