unixと数学at UNIX
unixと数学 - 暇つぶし2ch158:名無しさん＠お腹いっぱい。
03/05/27 15:13.net
>>157
CohenがやったのはGCHのZFCからの独立性の証明(肯定も否定も証明できない)
って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか？

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