以 2 。
柴廷不完全定理.我们已经知道，在所有可能的字符串里，大部分的串都是复杂的，也就是说它们不能被显着地压缩。然而，如果一个串的复杂度超过了某个阈值，则它不能被形式化地证明为复杂的。形式化的证明如下：首先，为自然数建立一个公理系统S 。这个公理系统需要足够强，可以判定关于字符串复杂度的断言 A ，并且和 S 中的 F 相关联。这个关联需要有以下属性：如果 F可以被 S 中的定理证明，则相对应的断言 A 为真。这个「形式化」可以用人工编码例如哥德尔数的方法实现，或者依照对于