目的简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统。
它的本质在于用形式逻辑的方法处理辩*逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理*。
*:由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全*。