第(2/3)页

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

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

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

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

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

    这些是什么？可以吃吗？

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

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

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

    还有两题，最起码要能做出一道啊！要不然自己都不好意思向死妹控开口！

    因为西莫觉得自己实在都不起那个人！尤其是在自己刚放完嘴炮以后！

    第四问：

    如有图，边长为a的立方体层周期性排列，在正方体的各个顶点以及中心处分布着原子的结晶构造，我们称之为体心立方结构，钠元素和钾元素等大多数碱性金属都由这种结构构成。

    在体心立方结构中有一个原子ao，设空间内所有的点中，距离ao最近的原子们所包围而成的空间为do。

    问题：求do的体积是多少？

    啊嘞？

    西莫先生差点就叫出声来，并不是因为题目有多难，与前面的几道题相比，这道题未免太容易了一点，当然也不是因为容易，才让西莫先生觉得惊讶。
    第(2/3)页