AimTo simplify the axiomatical system of the pan-neighbourhood system and the net pan-convergence relation.
目的简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
Conclusion After the axiomatical system of the pan-neighbourhood system and the net pan-convergence are simplified, a clearer demonstration and a more convenient appliance will be shown.
结论泛邻元系公理系统和网泛敛关系公理系统简化后,表述更清晰,应用更方便。
Conclusion After the axiomatical system of the pan-neighbourhood system and the net pan-convergence are simplified, a clearer demonstration and a more convenient appliance will be shown.
结论泛邻元系公理系统和网泛敛关系公理系统简化后,表述更清晰,应用更方便。
应用推荐