1929年,哥特德尔完全性定理诞生,开启了当代数学的发展进程。为什么? 根据何在?
有根有据, 请见本文附件。
袁萌 陈启清 6月27日
附件:
特德尔24完全性定理内容
Contents
1 Preliminaries
2 Statement
2.1 G?del's original formulation
2.2 More general form
2.3 Model existence theorem
2.4 As a theorem of arithmetic
3 Consequences
4 Relationship to the second incompleteness theorem
5 Relationship to the compactness theorem
6 Completeness in other logics
7 Proofs
8 See also
9 Further reading
10 External links