您现在的位置: 首页 > 网站导航收录 > 百科知识百科知识

如何简单清晰地解释哥德尔不完备定理？

命题,定理,公理如何简单清晰地解释哥德尔不完备定理？

发布时间：2020-12-06加入收藏来源：互联网点击：

根据上句此句中y=G(F(G(F(x))))=G(F(G(F(*)))此处"F"不再是变量而是固定的命题形式的一部分也是固定的y仍是定值与x变化无关

~P(y是否成立则与命题F(G(F(x)))是否不可证明有关即与x变化有关

两种歧义相较而言前者符号上与原文更接近

望高手们尽快对以上矛盾和歧义做出说明

回答于 2019-09-11 08:43:50

在一个含自然数体系的公理系统中，完备的不自洽，自洽的不完备。

 5/5   首页 上一页 3 4 5