>>18
ちょっとよく分からんのだが、{ZFC}＼{正則性公理AR(Axiom of regularity)} ∪ {¬AR}のモデルの存在証明ではなく、｛ZFC＋¬AR}が矛盾を導く直接的な証明ってことか？
大学学部レベル質問スレ 23単位目
■ このスレッドは過去ログ倉庫に格納されています
19１３２人目の素数さん
2023/09/11(月) 13:35:28.19ID:biCoIOEt■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フランス各地でデモに乗じ破壊や略奪、歴史的建造物の市庁舎は放火で焼失…全国１５００の小売店が襲撃受ける ★7 [ぐれ★]
- 【フランスデモ】グレタ・トゥーンベリさんに告ぐ。定職に就き、税金を納め、社会に貢献せよ [少考さん★]
- ユニクロ、値上げ発表、SNSでさまざまな声「ちょっと動揺している」「もう流石に無理だわ。高くなり過ぎ」 [muffin★]
- 【貿易黒字189兆円】中国の経済成長が加速、AI輸出ブームが国内消費の低迷を上回る… [BFU★]
- おにぎりの包装フィルム「他人の家屋の駐車場に捨てた」 容疑で57歳の男逮捕 神戸 [少考さん★]
- 【野球】元カープ多田大輔容疑者（３０） 女性の部屋に侵入、現金を奪った疑いで逮捕 金銭に困ったか 広島 [ぐれ★]
- 【悲報】チンポ勃起薬、市販薬承認されて炎上wwwwwwwwwwwwwwwwww [398059782]
- みんなの心のエナジードリンク🍑(・o・🍬)🏰
- 山田邦子「年を取った男は物体でしかない」 男女逆ならギガマゲドン炎上だと話題に 男性差別を指摘する声多数 [634830743]
- 世界「やっぱ太陽光発電よ！」 高市早苗「！？」 [592058334]
- 【高市悲報】フランス人、暴動に飽きる [834922174]
- 【悲報】サウジアラビアでバングラデシュ人旅行客夫妻が死刑判決、公開斬首。その原因となった「聖地での性行為」の画像がこちら [485187932]