数学抽象思维3:分类思维