中级篇

1. 如何快速了解所需要的数学知识
   • 快速理解其有什么性质。
   • 最基本就是 交换结合率，以及群环域的性质。
   • 然后利用这些性质来进行下一步的推理。
   • 现实情况下，我们经常忘记这些性质。
2. 如何使用符号推理与验证
3. 思考数学与现实的关系