en.wikipedia.org 引用 近期 文章
Gödel's incompleteness theorems - Wikipedia
哥德尔不完备定理表明任何含算术的一致形式系统都存在无法证明的真命题。
资源信息
- 域名
- en.wikipedia.org
- 内容类型
- 文章（article）
- 主题
- 立场
- 引用（reference）
- 提及
- 13 次提及，11 位提及者
- 合集
- 近期（recent）
- 提及年份
- 2016、2024、2025
- 综合推荐分
- 7.1
推荐理由
Cites Goedel's incompleteness theorems as backing for a claim about truth.
HN 评论原话
“This is a basic problem in logic and philosophy, see”
网页原文证据
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure
网页抓取状态
成功（ok）