证伪关键词检索结果

科学美国人
2026年5月26日 18:00

数学家哥德尔如何证明并非一切都可以被证明

How the mathematician Gödel proved that not everything can be proven

陈述可以是真或假。但正如库尔特·哥德尔所证明的那样，总会有一些数学假设既无法被证明也无法被证伪