>>581
公理系A1 ある定義域では矛盾するがその他の定義域では無矛盾
公理 a1 A1における矛盾が生じる定義域を取ることが出来ない
公理系A2を、A1にa1を追加したものと定義する
はい、矛盾→無矛盾
バカは死んでね
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
583１３２人目の素数さん
2016/09/15(木) 12:43:49.00ID:T0IT8mdY■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★97【メキシコ/カナダ/アメリカ】
- 西武線 7
- わしせん3
- 巨専】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★96【メキシコ/カナダ/アメリカ】
- とらせん 雨
- 【画像】このお母さん何歳だと思う？？ [632966346]
- 妹「えへへ、お兄ちゃんの精子おまんこから一滴も零さないからね♪」←おもむろに逆立ちをして股を開いたり閉じたりし始める
- 最高の景色をー🏡⚽👊😅👊⚽
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- おっさん「切符落とした」東京駅駅員「じゃあ一番遠い区間（博多東京間）の三倍の運賃払うまで駅から出さねぇ」→どっちが悪いかXで紛糾 [793117252]