哥德尔不完全性定理证明中的漏洞
                        佛山李子

       哥德尔是一个了不起的数学家和逻辑学家。
哥德尔的不完全性定理享誉中外。
       深入认真的研究哥德尔不完全性定理的证明，本人发现其隐藏着很深的逻辑证明问题。
      哥德尔证明中，用了非此即彼的反证法。即假设形式数论公理系统N可证命题G，必然推导出N可证非G，导致N矛盾，由此得到：若N一致，则G不可证。
       这里的问题在于反证法只适合用于二值命题。而不可证命题G，不是二值命题。
        G与说谎者悖论有相同结构，属多值命题，排中律并不适合多值命题。
       如说谎者悖论p＂p是假的＂。不能用排中律和反证法证明命题p的真假二值。
       如假设p真，因p的内容是p是假的，即p说明p是假的，自相矛盾。由反证法可得p真不可能。由排中律可得结论：p是假的。
       这个结论并不正确。
     因为若该结论正确，则p是假的。而p的内容与事实相符，是真的。即p是真命题，导致矛盾。根据排中律和反证法，又可得p假不可能。也导致矛盾。
     因此，反证法对第三值命题不适用。
     因此，哥德尔的不可证命题G＂G不可证＂用反证法进行证明，是存在问题的。