数学抽象思维2:符号化思维