高等数学思维以其精确的数学定义和严格的逻辑演绎证明为特点,数学证明已经普遍成为中学向大学过渡期学生认知困难的重要因素.当前的大学数学课堂教学中,绝大部分学生对严格形式化的数学证明产生了恐惧.为帮助学生顺利转向高等数学思维,本研究在已有理论框架[1]下调查了学生在形式化证明认知上的困难,深刻剖析造成这种困难的根源,这将对大学数学教学改革有重要指导意义和现实意义.