“什么目标？”卡迪娜好奇的问道。

“完美的保命。”何英俊一本正经的回答。

“噗~”卡迪娜笑出了声。

“哥德尔不完备定理有什么作用？作用非常巨大。

因为哥德尔不完备定理，我们知道了有这样一类命题，就是不可证真，也不可证伪。只能证明不可证。

是不是有点绕？”

“还好了。”何英俊又换个舒服的姿势躺了下去。

“知道了有这样命题的存在，很多时候，就不用费力去证明什么了。

只要证明不可证就行了。这样有助于发现正确的道路。”

卡迪娜继续说道，“刚刚你提到，一切事物都是由和1组成的一串数据。是的，我们无法直接证明。但实际上，数学上已经间接推导出了。甚至连时间、过去、未来。都只是一串的数据。而且，是一系列固定的公式。也许公式是无限多的。但是就是一系列固定的公式。”

卡迪娜停顿了一下，“好消息是，无法证明。是不可证命题。简单的说，只能证明这个命题不可证。不能证明这个命题是正确的，或者错误的。”

“连过去未来都只是数字和1而已？”

“没错。”

“什么理论啊？”

“香农的《信息论》，以及傅里叶的变换公式。都表达了这样的意思。”

“那个，你还是讲点别的吧。”

何英俊已经快达到极限了。

卡迪娜反而显得很兴奋的说道，

“乐谱，你知道吗？”

“知道。就是照着谱子可以唱歌或者表演乐器的。数字的是简谱，小蝌蚪和线条一样的是五线谱。”

“那么有了乐谱，不管有没有人演奏，上面的音乐都存在的，是吗？”

何英俊想了想，“虽然不同的人演奏或者演唱，会有不同的效果。不过理论上讲，音乐的确是一直存在的。”

卡迪娜的眼睛放出了光芒。“好了。世界也是一样的，是由无数的乐谱组成的。虽然有些乐谱还没有演奏。虽然乐谱的数量无限多。虽然乐谱有过去的，有未来的。”

安静，好一阵安静。

“那么，这些有什么用呢？”何英俊问道。

“这些就是一级文明想要升级到二级文明或者三级文明的时候，需要借用的工具。”

“你说这些定理是工具？”

“是的。类似的，还有费马大定理。”

“费马大定理，又被称为“费马最后的定理”，由17世纪法国数学家皮耶·德·费玛提出。

他断言当整数n大于2时，关于x，y，z的方程x^n+y^n=z^n没有正整数解。

德国佛尔夫斯克曾宣布以1万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。