次のようなプログラムがあるとしよう：functionKolmogorovComplexity(strings)これは文字列sを入力としK(s)を返却する。
下面开始反证法，假设有这样一个程序存在：functionKolmogorovComplexity(strings)它可以把字符串s作为输入，然后输出它的K(s)；简单起见，假设这一函数的长度是7,000,000,000比特。