：首先，为自然数建立一个公理系统 S 。这个公理系统需要足够强，可以判定关于字符串复杂度的断言 A ，并且和 S 中的 F 相关联。这个关联需要有以下属性：如果 F可以被 S 中的定理证明，则相对应的断言 A 为真。这个「形式化」可以用人工编码例如哥德尔数的方法实现，或者依照对于 S 的预期解释来进行形式化。定理：存在一个常数 "L" （ "L" 仅取决于特定的公理系统以及描述语言的选择），使得没有任何一个 "s" 满足以下情况：可以在公理系统 S 中证明。考虑到占多数的几乎不可压缩的串，大