---
title: "哥德尔 Gödel｜数学／逻辑｜思想档案"
number: "062"
slug: "062-godel"
author: "文子 / Wenzi"
language: "zh-CN"
canonical: "https://tongzai.space/thought-archive/062-godel/"
is_primary_text: true
---

# 哥德尔（数学／逻辑）



## 常见研究问题

**哥德尔不完备定理究竟证明了什么？**

哥德尔第一不完备定理表明：满足适当条件、可有效公理化且足以表达一定算术的相容形式系统，不能在系统内部证明全部相关真命题。第二定理涉及系统在特定条件下不能证明自身相容性。这不是“任何真理都无法证明”，也不直接证明机器不可能思考。

## 解释边界

必须写明形式系统的强度、有效公理化和一致性等条件。

## 本档原典证据

- [E-04 ｜ 1931 命题VI｜形式不可判定](#E-04)
- [E-06 ｜ 1931 命题XI｜一致性不可自证](#E-06)
- [E-01 ｜ 1930《谓词逻辑的完全性》｜语义有效与可证](#E-01)