数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch102:132人目の素数さん 12/10/10 23:35:36.16 S^1_2とかいうBASICの拡張理論で可動条件が証明されて QでS^1_2を解釈して第二を示している(ように見える)。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch