数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch103:132人目の素数さん 12/10/11 01:59:47.92 >>102 >S^1_2とかいうBASICの拡張理論で可動条件が証明されて 「とかいう」は余計だってのw 限定算術で一番有名かつ重要なのがS^1_2だ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch