数学是一门高度抽象的学科