证明不完全性当然，假设是这样的正式的 系统是一致的.
对，外部链接是顽皮的，但请参阅http协议：//www.ddc.net/ygg/etext/godel/index.htm
登录或登记在这里写点什么或联系作者。