哥德尔不完备性：修订历史

2026年2月22日 (星期日)

• 当前之前 12:002026年2月22日 (日) 12:00 Dstty 留言 贡献 小 23,856字节 −13 更改 标签：可视化编辑
• 当前之前 10:012026年2月22日 (日) 10:01 Tabelog 留言 贡献 23,869字节 +23,869 创建页面，内容为“以下是 Gödel 关于完备性定理的证明。 ---------- 众所周知，怀特海和罗素构建逻辑和数学的方法是，将某些显而易见的命题置于公理之上，并根据一些精确表述的推理原理，以纯粹形式化的方式（即不再诉诸符号含义）从中推导出逻辑和数学命题。这种思路自然会立即引发一个问题：置于顶端的公理和推理原理体系是否完备，即是否真的足以推导出…”