如果说每一个数学公式都在描述一件事情，那么数学公式的推导，是在做什么？