数学系统无法证明所有真理
库尔特·哥德尔在1931年的定理揭示。足够强大、包含基本算术的自洽数学系统，无法证明其所有真理。这暴露了形式逻辑固有的局限性。
1931年，数学家库尔特·哥德尔抛出重磅结论。任何足够强大、包含基本算术的自洽数学系统，都无法证明其所有真语句。这意味着这些系统本身是不完备的。它们无法仅凭内部规则捕捉所有数学真理。他还指出，一个自洽系统无法证明自身的自洽性。
故事还有更多内容 — 打开应用继续阅读。
在应用中继续阅读
还有2个段落 · 再加3题测验