数学中有些真理永远无法被证明

1931年，数学家库尔特·哥德尔揭示了一个深刻的真理。任何足够强大、包含基本算术的数学系统，都包含一些真实但无法在该系统内被证明的陈述。他创造了一个自指悖论。这就像说“这个陈述是不可证明的”。如果它是真的，那么它就不可证明；如果它是假的，就会产生矛盾。