数学系统无法证明所有真理

1931年，数学家库尔特·哥德尔抛出重磅结论。任何足够强大、包含基本算术的自洽数学系统，都无法证明其所有真语句。这意味着这些系统本身是不完备的。它们无法仅凭内部规则捕捉所有数学真理。他还指出，一个自洽系统无法证明自身的自洽性。