- 13 名前：１３２人目の素数さん mailto:sage [2011/10/30(日) 10:35:18.10 ]
- 「任意のモデルでAが成り立つ。よってAは定理(証明が存在する)」
という証明の手法は い つ で も 使える。これが完全性定理じゃないの？
項、論理式、証明といった再帰的に定義された具体物の存在について言っているので、
「実は集合論の上の定理でした」じゃ困る。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef