公理系A1 ある定義域では矛盾するがその他の定義域では無矛盾
はい、矛盾
モデルが存在？
何言ってんだこのガイジ
------ テンプレここまで ------
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
744１３２人目の素数さん
2016/09/19(月) 15:59:42.85ID:j+RXlJt2■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【Ｗ杯】日本と同組のオランダ５発完勝で暫定首位に ハクポ、ブロビーが２発 スウェーデンを圧倒 [ゴアマガラ★]
- 【サッカー】日本戦の交代策に批判殺到… オランダ代表監督・クーマン「ミスをしたのは私だ。大人として責任を受け入れる」 [冬月記者★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★4 [ひぃぃ★]
- 【サッカーW杯】『恋人にしたい日本代表選手』ランキング発表！ 5位 中村敬斗、4位 久保建英、3位 堂安律、2位 田中碧、1位は……？ [冬月記者★]
- いよいよ“詰み”始めた高市首相…中傷動画疑惑めぐる答弁破綻で土俵際、週明け衆参集中審議が見もの｜日刊ゲンダイ [少考さん★]
- 【NHK】中国・富裕層の日本移住を支援 Nスペ出演の会社役員が逮捕…見逃しサービス配信停止 [少考さん★]
- 【FIFAワールドカップ2026】F組オランダ×スウェーデン2:00(NHK1:45~,DAZN),E組ドイツ×コートジボワール5:00(日本テレビ4:40~,DAZN [226731781]
- 今期おもしろいアニメ
- 【fifaワールドカップ実況2】スウェーデンvsオランダ
- お前ら今日の13時からワールドカップだぞ！
- 【高市画像悲報】戸塚ヨットスクールの戸塚宏さん(85)、着実に信者を増やす チャンネル登録者数11.7万 いかんでしょ、、、 [689851879]
- 【