数学基礎論・数理論理学 その10at MATH数学基礎論・数理論理学 その10 - 暇つぶし2ch74:１３２人目の素数さん 11/10/30 20:43:44.52 「超越的な方法」というのがWKLのことなら、 WKL が PRA 上の保存拡大だから「結果的に有効」なんじゃない？ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch