プログラミングの為の ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
231:デフォルトの名無しさん 05/06/09 10:48:21 >>230 それは「どっちでもいい」で解決したはず 232:デフォルトの名無しさん 05/06/09 14:27:31 >230 上に同じ 233:デフォルトの名無しさん 05/06/10 00:02:39 >>231-232 正確には、ZFC公理系の範囲では否定も肯定もできない。 もうちょっと公理を足せば否定も肯定もできる。 234:デフォルトの名無しさん 05/06/14 10:17:37 公開問題： ZF公理系の無矛盾性を証明せよ 235:デフォルトの名無しさん 05/06/14 20:52:41 >>230,234 ネタフリ乙！ ttp://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AB%E3%83%88%E3%83%BB%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB 236:デフォルトの名無しさん 05/06/15 00:34:45 (1)無矛盾でないと仮定する。 (2)仮定により矛盾が導かれる。 (3)故に仮定(1)は否定される。 237:デフォルトの名無しさん 05/07/16 12:47:12 保守 238:デフォルトの名無しさん 05/08/15 13:33:36 何か質問ある？ と保守
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5375日前に更新/259 KB
担当:undef