数理論理学(数学基礎論) その12 at MATH
数理論理学(数学基礎論) その12 - 暇つぶし2ch872:132人目の素数さん
18/06/02 11:11:35.86 NK2MAr72.net
>>843
>ということは形式的体系外で議論している内容を体系内へ表現することって意識はすると思うのですが、
そんなの意識するのは
食い詰めた基礎論屋だけ


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