数理論理学(数学基礎論) その12 at MATH
数理論理学(数学基礎論) その12
- 暇つぶし2ch872:132人目の素数さん
18/06/02 11:11:35.86 NK2MAr72.net
>>843
>ということは形式的体系外で議論している内容を体系内へ表現することって意識はすると思うのですが、
そんなの意識するのは
食い詰めた基礎論屋だけ
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch