从代数不等式的非反演算看哥德尔的第一不完全性定理

The First Incomplete Rule of Godle from Non-inverting Calculating of Algebraic Inequality

从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(■)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含了扩充自然数后的形式系统并不适用,从而引进了彻底根治一阶逻辑形式系统不完全性的基于负号(-)而推广的辩证否定算子(～)。

From the calculating of negative sign of algebraic inequality, to conclude its negative main word order pair and relative predicate word not deny the rule of truth word. From logic negative （┐） calculating of algebraic inequality to reveal its rule of negative quantifier, qualifier and truth word not deny main word order pair and relative predicate. So it is shown that the first incomplete rule of Godle is not applicable in the form system of contained enlarged natural number so to introduce complete change on （ - ） order logic form incomplete on negative sign （～） to popularize dialectic negative operator.