It says that there are statements about math that we will never be able to prove true or false within the system of logic that contains them.

  • 它说的是有一些数学陈述,我们永远无法在包含它们的逻辑系统中证明它们的正误。
目录 查词历史