对哥德尔不完全性定理的质疑

目的]考察Gdel不完全性定理证明的有效性及存在性问题。方法]以"逻辑先后律"思维原则作为剖析工具,揭示相关观点和论证的错误。结果]①与Gdel原证法本质上相同的形式化证明,均存在歧义谬误。②关于对哥德尔证明的解释,其错误是,真意指判断句,不可证意指被判断句,即二者并非意指同一命题。结论]①与Gdel原证法本质上相同的形式化证明,都是无效的;在这类证明的基础上,该定理的相关推论的证明也都是无效的。②既是真的又是不可证的命题是不存在的。③Gdel不完全性定理不可能成立,该定理的相关推论也不可能成立。

Question of Goedel Incompleteness Theorem

Abstract： Aim]To investigate the validity and existence question m tile proof of＂ Goedel＇s incompleteness the- orem. Methods A thiking principle called the law of logic order is used as a profiling tool to reveal the er- rors of the related views and dimonstrations. IKesults]（1） There exists the fallacy of ambiguity m any formal proof that is essentially identical with the Goedel＇s original proof. （2） With regard to tile explanation of Godcl＇s Proof; it is wrong, because truth drives at judgment sentence while unprovable drives at sentence which is judgcd, i.e. the two derives at different proposition. Conclusionl（l） Any formal proof that is essen- tially identical with the Goedel＇s original proof is contravalid. On the basis of the similar proof, the relevant consequences of the proof are contravalid.（2） The proposition that is true but cannot be proved does not ex- ist. （3）Goedel incompleteness theorem is impossible to satisfy, neither are its relevant consequcnccs.