|
|||||
|
|
| 形式Peano算术的Gödel不完备性定理的一个简单证明 | |
| 作者单位： | 秦一明（昆明市康宏小区28栋2单元601号,昆明 650118） |
| 摘 要： | 给出了形式Peano算术的Godel不完备性定理的一个简单证明. |
| 关 键 词： | 形式Peano算术 Godel不完备性定理 |
| 文章编号： | 0253-2778(2003)06-0681-02 |
| 修稿时间： | 2003年1月20日 |
ödel Incompleteness Theorems for Formal Peano Arithmetic |
|
| Abstract: | |
| Keywords: | |