判断题 数学的现代发展表明，数学全盘形式化是不可能的。

判断题 高中数学课程除了应具有基础性，还要具有多样性与选择性，使不同的学生在数学上得到不同的发展。

判断题 算法是设计高中数学课程的主线之一。