作为小学课程的数学是一种形式化的数学。