[表示 : 全て 最新50 1-99 101- 201- 2chのread.cgiへ]
Update time : 10/08 22:17 / Filesize : 57 KB / Number-of Response : 205
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論・数理論理学　その9

121 名前：１３２人目の素数さん [2011/10/06(木) 07:25:32.48 ]
>>115
自然数論を含まない体系は数学的体系と呼ばないのでは？
>>118
そうですね。
正確にはPAの論理式で、PAのモデル、例えばNで解釈すると真になるのに
PAから証明できない論理式が存在するってことですね。
>>120
そうですね。
しかしPAに限っては全く別の方法で無矛盾性が証明されています。





[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（*・∀・）＜57KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef