提出“数学是一种研究思想事物的抽象的科学”这一论断的是