数学退下神台之后，科学证明再次走向巅峰，成为真理的化身数学证明是依靠逻辑推理导出结论，定理已经证明就永远是对的，除非发现定理本身有误