TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
あたまをよくするほうほうをおしえてください
数列 総合スレ
フーリエ変換・ラプラス変換
■■■■■■■■■■■　　　裏金
偶数である素数はただひとつであることを証明せよ
経済学は数学を誤用している
大学の数学科はぜんぶ潰すべき
日本の数学者を語るスレ
小中学校範囲の算数・数学の問題のスレ　Part 54
素人には 8÷2(2+2) を16と答える馬鹿が居るらしい
37 ：
>>36 追加

「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
ZFのあるモデルの∈-関係が整礎的であるというのは、そのモデル内で正則性公理が成立するという主張よりも強いことに注意。
ZFは無矛盾であるとの仮定の下で、ZFのモデルMで、その論議領域にR-極小要素をもたない部分集合AをもつがAはそのモデル内で集合でないというものがある。
(Aの要素が全て議論領域内にあってもAはモデルの議論領域内に無い。)
もっと正確には、そうでない集合AにはMの要素xでA = R^-1 [x]となるものが存在する。
だからMは正則性公理を満たす(内部的には整礎的である)が、Rは整礎的関係でなく、この崩壊補題も適用できない。
(引用終り)
以上

Inter-universal geometry と ABC予想 42
フェルマーの最終定理の簡単な証明8
奇数の完全数の存在に関する証明は正しいはず
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
【親切】理想の質問【丁寧】パート❷
現代数学の系譜 工学物理雑談 古典ガロア理論も読む79
羽生善治応援スレ
【世界に誇る】岩波数学辞典【名著】
0.99999……は１ではない　その２
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
--------------------
誰が禿げやねん！！
ヤフオク早くも暴落! 「PS3」人気説に大疑問
プロ野球の歴代最強の捕手って結局誰なの? [977261419]
こどもおちち機種総合Part11
【動画】Twitterで女子中学生が首絞め、飛び蹴りされる動画が拡散される9
【男性厳禁】紫外線UV日焼け止め総合スレ54
集団ストーカーの広報と精神病院の金周り
ディープインパクト 〜The 588th impact〜
カウンセリングに心理学の知識って必要か？
【あて】安くてゴキゲンなおつまみ【酒肴】42皿目
米津玄師 Vol.49
Killer Guitars / キラー Part9
BTSの雑談スレ2619
【芸能】宮迫がブログ＆ＹｏｕＴｕｂｅを開設　「相方の横に戻りたい」「チャンスください」全文★7
【写真で】ボケてを語れ96【一言】
「毎日がつまらない」中年男性の72％が回答
チラシの裏@同人板1233枚目
軍事と鉄道について語るスレ@海外鉄道板
【神様】柏郵便局 【職員様】
明治専用スレリクpt16
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼