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.

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