In their groundbreaking work regarding complexity and the limitations of formal systems, mathematicians Gregory Chaitin and A.N. Kolmogorov force us to consider this last claim more closely.

数学家Gregory Chaitin和A.N.Kolmogorov在他们关于复杂性和形式系统的局限性的开创性工作中，迫使我们更仔细地考虑最后一个说法。