代数 数学 部分 系统