数理論理学(数学基礎論) その11at MATH
数理論理学(数学基礎論) その11
- 暇つぶし2ch941:132人目の素数さん
17/10/31 22:10:40.08 0sMM/oG1.net
>>904
上の方であなたとは違う人が
「メタを排除することはできません」とか
「でもメタのレベルでは明らかですよね」とか言っている。
つまり形式化できなくても成立する世界がある、という主張なんだろう。
それに対しての話さ。
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch