数学应该被视为一种语言还是一种工具？ ​​​