数学中的符号化思想方法