- 39 名前：12 mailto:sage [2011/10/30(日) 14:54:31.74 ]
- >>8
＞完全性定理の証明を形式化したとき
＞論理式に選択公理が入ってるってこと。
この人の「形式化」という言葉の使用法は独特ですね。
どうも、数学の命題を必要な前提条件をつけた上で
一階述語論理の論理式で書き表す行為を「形式化」
とよんでいるようです。
それはともかく、この言葉、実際は不要ですね。
なぜなら単純に
「完全性定理を証明するのに選択公理が必要」
と書けばいいだけなので。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef