数学到目前为止主要还是针对人脑，作为一种语言它的符号体系肯定存在冗余性和缺乏高度统一的情况，自然语言中存在的这里情况反而常常被人津津乐道，像谐音、一词多义、双关等等。
随着公理化体系的发展不同符号间的关系、相同或相似关系在不同分支中的表达引起了很大关注，20世纪后半页Representation theory的发展很大程度上回答了普遍结构、普遍关系、描写方式等问题，我目前只是略有了解，揣度可能是跟物理的大统一理论类似。但是，在基础数学尤其是初等数学方面数学符号系统的问题仍然很大，甚至影响了对更高数学的涉猎。