再论及古希腊数学传统：演绎证明与科学精神。最后阐述东西方不同的文化传统对数学教育有不同的影响。
And then it deals with the ancient Greece 's traditional math: emphasis on both proof and scientific spirit.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
它的真实性是被证明归纳而成的，而不是靠推理演绎得来。
应用推荐