哥德尔不完备定理
第一定理
任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为否。
第二定理
如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。
下面解释——
根据我个人理解来讲,自身不能靠自我证明成为自身,所以必然要依靠周围的环境以证明自身。
例如,以一个土豆为主体,在被人类认识前,它对于人类什么都不是,它于所有人不存在,而它自己,是不应当知道自己是土豆的。
不知道是否通俗易懂,希望更多的人来提供更好的解释。

第一定理
任意一个包含一阶谓词逻辑与初等数论的形式系统,都存在一个命题,它在这个系统中既不能被证明为真,也不能被证明为否。
第二定理
如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。
下面解释——
根据我个人理解来讲,自身不能靠自我证明成为自身,所以必然要依靠周围的环境以证明自身。
例如,以一个土豆为主体,在被人类认识前,它对于人类什么都不是,它于所有人不存在,而它自己,是不应当知道自己是土豆的。
不知道是否通俗易懂,希望更多的人来提供更好的解释。











