数学基礎論・数理論理学 その14at MATH
数学基礎論・数理論理学 その14 - 暇つぶし2ch103:132人目の素数さん
12/10/11 01:59:47.92
>>102
>S^1_2とかいうBASICの拡張理論で可動条件が証明されて
「とかいう」は余計だってのw
限定算術で一番有名かつ重要なのがS^1_2だ


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch