TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
5次方程式の解を表現できる数体系
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
クソニートに数学を教えてくれないか
現代数学の系譜 工学物理雑談 古典ガロア理論も読む65
統計学の分かりやすい本教えろください
現代数学の系譜11 ガロア理論を読む18
ゼロ割をがんばって定義してみるスレ
奇数の完全数の存在に関する証明は正しいはず
オイラーの贈物 （吉田武著）
有理数であることも無理数であることも証明できない実数
- 94 ：
- >>93
つづき
正則性公理
反復的集合観に先立って次の整礎原理を述べた。
整礎原理
a1∋a2∋a3∋a4∋a5∋…とどこまでも続くような集合は存在しない。
これを次のように公理化する。
正則性公理（定義）
∀s(s≠Φ→∃x∈s(x∩s=Φ))
(反復的集合観によれば、sに含まれるどの要素もsが現れる段階よりも低い段階で現れる。
sの要素の中で最も低い段階に現れるものをxとすれば、xとsが共通要素を持つことはない。
もしあればそれはxよりも低い段階に現れるsの要素になりxの取り方に反するので)
ただし正則性公理を追加したからといって、x1∋x2∋x3∋x4∋…となる集合や自分自身を含む集合の存在が証明されないことを保証しているわけではない
(ある公理から何かの存在が導かれるときに非存在を主張する公理を追加しても、存在するという証明を打ち消すことはできない。
単に矛盾が導かれるようになるだけ)。
元の公理系が「自分自身を含む集合はあってもいいし、なくてもいい」というものだとしたら、正則性公理の追加によって自分自身を含む集合の存在は排除される。
でも元の公理系で自分自身を含む集合の存在が導かれるとしたら、そこに正則性公理を追加しても矛盾が導かれるようになるだけ。
つづく
純粋・応用数学
不等式への招待 第10章
大学学部レベル質問スレ 13単位目
@hyuasa＝湯浅久利先生
関数解析
大学の線形代数学の質問。
（負の数）×（負の数）＝（正の数）になる理由って中学生に説明できる？
【新海誠】君の名は。
(･ω･)俺が日々の数学的発見を書くスレ
なんじゃこら哲也
--------------------
うんこはなぜ臭い
【Gunners】 Arsenal F.C.【part1106】
マスコミに踊らされて買い溜めしてたアホども、今どんな気持ち？
夫の年収1000〜1400万で妻非課税の育児事情28
ジャンプ打ち切りサバイバルレースpart3224
【UFC&Bellator】海外MMA総合スレ その730
蟹座被害者の会
スタバのコンビニコーヒー糞マズい・・
今年の夏に彼女を妊娠させたい
風俗嬢さん、怒りの正論 「売女のくせに！とか言うクソオス、誰に下の世話して貰ってると思ってんだ？脳の障害かな」 [998671801]
宮迫博之の芸人引退後の人生はどうなる？
お前ら結婚に満足してる？後悔してる？
【パチに帰れ！】パチンカスライターういち総合6
【正月】嫁のアソコに入れたことある釣り具・魚【恒例】
【SG3V】青山周平応援スレ67【復活？】
熊本大学社会文化科学研究科教授システム学専攻
なんで幽遊白書って物語の途中でバトル物にチェンジしたんだ？ [498415398]
◆創価公明は日本に必要ない◆
松村の顔面がもうキツい
厚生労働省スレッド PART33
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
