更简单一点的解释是：（1）任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。（2）如果系统s含有初等数论，当s无矛盾时，它的无矛盾性不可能在s内证明。

    问题：请联系自己的生活，找出符合哥德尔不完备性定理的一个例子。（本题25分，没错，你没看错25分，这是老师我给你们发的福利。）

    “谁来告诉这个老头“简单”和“福利”的含义是什么啊！”看着那方方正正地印刷体字迹，西莫先生暴跳如雷，当然他知道恼火的人肯定不止自己一个。

    这tm叫“简单”一点的解释？“福利”是这样用的吗？你逗我啊？恶意卖萌禁止啊！

    一阶谓词逻辑？初等数论？无矛盾性？

    这些是什么？可以吃吗？

    西莫先生已经快要被数学给虐哭了！他真的好想要向高坂死妹控求救啊！救救他的数学！

    但是在犹豫了几秒之后，西莫先生还是忍住了。

    虽然以前学校考试的时候，西莫先生都是靠作弊或者炸死监考老师来过关的，但是好不容易下定决心要好好努力一把，他怎么可能就这样放弃！

    还
 <本章未完请点击"下一页"继续观看!>