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.
英
美
它说的是有一些数学陈述,我们永远无法在包含它们的逻辑系统中证明它们的正误。
目录
查词历史
英 汉