数学基礎論・数理論理学 その14at MATH
数学基礎論・数理論理学 その14 - 暇つぶし2ch716:132人目の素数さん
14/04/13 18:55:41.80
>>715
算術の命題をMUシステムのメタな言明に翻訳したら「MUパズルでMU を作ることができない」となります。
あくまで算術の応用であり、その適否は各人が自由に判断してください。

と言ったら満足するの?


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