如果说根据等量关系列方程是把现实世界抽象为数学模型，是把生活世界引向符号世界，那么等式性质则是符号世界里一种重要的数学模式。