对哥德尔定理的辩证逻辑形式化解读

逻辑矛盾仅是“量词-质词-真值词”皆矛盾的非等值关系命题，辩证矛盾仅是“主词-谓词-命题词”皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上，说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性，必须引进所指有辩证矛盾和断言无逻辑矛盾之“指断合一”的哲学对象论。由此用基于负号而推广的辩证否定算子，才能彻底根治一阶逻辑形式系统的不完全性。