[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 2chのread.cgiへ]
Update time : 10/02 16:36 / Filesize : 282 KB / Number-of Response : 966
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


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

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



42 名前:132人目の素数さん mailto:sage [2011/07/01(金) 21:35:16.54 ]
なんでCHと連続体仮説が別建てになてるのか意味分からんのだが
決定性公理とADも別になってるし
それに連続体仮説の分科として強制法の研究がある訳じゃなkute
巨大基数とか無限組合せ論とかADの研究で

GBとZFCは保存拡大であることがすぐに証明できるから
ZFCの研究とGBの研究は同義だよ
だからNFの研究者は居てもGBの研究者を自称する者は居ない

基本的に>>26の木構造は無意味なので止めた方が良いと思う






[ 続きを読む ] / [ 携帯版 ]

全部読む 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<282KB

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