- 27 名前：12 mailto:sage [2011/10/30(日) 13:50:24.04 ]
- >>20
＞一般に、数学の定理は集合論の定理でも、
＞自然数論の定理でもない。
＞当然、完全性定理も同じ。
一般の数学者が、集合論を意識しないのは随意だが
大抵のものは集合論の定理となる。
完全性定理を記述する際には集合の概念が必要。
＞完全性定理は、普通はモデルという集合概念を
＞使って述べられている。
＞そのまま、PA の定理にはならない。
その通り。>>10は、ある理論Tの完全性定理は
Tもしくはそれより弱い理論の定理だと誤解
している。
|
 |
