数理論理学(数学基礎論) その11at MATH
数理論理学(数学基礎論) その11 - 暇つぶし2ch334:132人目の素数さん
13/10/19 09:17:59.22
>>329
集合論を現実に適用するのを認めないのは自由だ。
「論理式全体の集合の存在証明」を求めるのも自由だ。
それで公理系の無矛盾性概念は変わらないと思ってるの?
>>314も君だろ?よく読むとおかしいよ。


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