从具体到抽象是数学发展的一条重要大道