我觉得函数，方程，都不属于自然属性，是人的工具。而一些数之间确实存在固定的“映射”，但可以由某些数计算出另一些数的东西，也即那些公式，运算法则等，是属于人的创造。数和形也确有它们固有的性质，公理定理即是用来表述这些的，是自然属性无疑。

我想到这个问题是因为我无法理解为什么“将方程经过化简、变形可以得到解”。
现在我可以说：是因为最初那个解这题的人尝试后发现，这种化简变形可以解决这类问题，于是他“发明”了这个解方程的办法。但至于为什么，他和我一样不知道。
那不是数学问题。

我觉得9楼有道理，但感觉绝对了点，比如，研究人的非理性认知的学科，9楼的朋友觉得应属于哪一类呢？