プログラミングの為の数学と算数 vol.2at TECHプログラミングの為の数学と算数 vol.2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞの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 何か質問ある？ と保守 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch