一条船在大海航行，最怕走错方向，指南针可以帮助船长，使得船队在正确的航线行走。
如果把数学比作一条船，逻辑学就是指南针，如果没有逻辑学，数学就会走错航线也不知道。
两千年前，古希腊人就创立极端抽象的公理体系，建立严密的数学逻辑证明规则。
可是，两千年之后，我们现代人类，现代数学证明，还是要经常抛弃逻辑，拒绝指南针，企图不受到制约前进。