电脑体验，效果更佳

不完全性定理图谱-自然科学领域：

研究人员

黄长平 郭金彬

相关术语

无限 不可判定 证明推理 有限步骤 一致性 弗里德曼 哥德尔定理

标签云