对一些数学事实的概括,方便记忆,传递信息以及更深层的研究.数学研究就像打rpg探索新地图一样,公式就是你到了神马有意义地点丢下的传送门,你的队友（其他数学工作者）可以直接从这里开始探索,也方便你回城之后重新过来.