The First Incomplete Rule of Godle from Non-inverting Calculating of Algebraic Inequality
Liang Xu · Journal of Kunming University · 2008
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.