TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
9―3÷1/3+1=? 新入社員の正答率4割
理論計算機数学のスレ
            パズル        
現代数学の系譜11 ガロア理論を読む27
雑談はここにかけ!【54】
数理論理学(数学基礎論) その12
羽生善治応援スレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
高校数学の質問スレPart401
数理論理学(数学基礎論) その12
31 :
>>30
つづき

5)∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ y成立(∵推移性より)
 だから、この場合は”x ∈ y → x ⊂ y ”成立
6)で、我々が通常扱う集合は、超限帰納法も適用可の場合が多く、∈−順序が成立つとして良い
 ∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
7)「まったく別もの」ではないが、別もの
8)なお、”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
 つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないw(^^;
(∈−順序を仮定しないとどうなるか? 上記のように、分からんかった(^^;
 坪井先生の上記、”整列順序の全体は(大きすぎて)集合にはならない”のような記述もあるので、
 自分の考えが、”公理的集合論”の範囲内か範囲外かが、判断できないので、ギブアップします)

(参考)
http://www.math.tsukuba.ac.jp/~tsuboi/
Akito Tsuboi 筑波大
http://www.math.tsukuba.ac.jp/~tsuboi/under.html
学群関係
http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
数理論理学II Akito Tsuboi 筑波大

(追加参考)
https://www.practmath.com/ordinal-number/
実用的な数学を
2019年4月18日 投稿者: TAKAN
順序数 Ordinal Number
(抜粋)
ともあれそんな『比較』ですが、
なにでやるかというと、「帰属関係 ∈ 」を使ってやります。
(引用終り)
以上

ホモロジーとコホモロジーってどうちがうの
現代数学の系譜11 ガロア理論を読む18
現代数学の系譜 工学物理雑談 古典ガロア理論も読む56
数学と物理学って何で統合しないの?
日本の数学者を語るスレ
小学校の算数で3.9+5.1=9.0の指導について
関孝和とかいう数学者wwwwww
痴漢バレて叩かれた腹いせに荒らすのはやめろ
痴漢バレて叩かれた腹いせに荒らすのはやめろ
耳栓をしたら世界が変わってワロタ
--------------------
信州長野県の土産物・特産物総合スレッド2
CDを図書館で借りる人集合
【 三 】巨乳のファッション 25着目
◆ ジェイムス・ベイ James Bay ◆part 7
生活保護者の支給日を書き込むスレ140
【KFC】ケンタッキーフライドチキン 175【Ponta】
【ももえ】 森 萌々穂 6ほー 【もえもえほ】
工業高校生「ワイらロボット作れるで」農業高校生「ワイらはコメ作れる」普通科高校生「…」  →何作れんの? [324064431]
【絵描き専用】何が何でも大手になりたい【オフ専用】◆6990
第48回全日本女子プロボウリング選手権大会
松戸のラーメン51
__ 秋田のラーメン 39 ___
【芸能】元『KAT-TUN』田口逮捕にファン激怒「小嶺麗奈にさえ会わなければ…」
代ゼミ全盛期の思い出
Intelの次世代技術について語ろう 96
漫画〜寄席芸人伝〜古谷三敏
【ユーロ】ヨーロッパ女子シングル総合6【欧州】
【FANTASISTA】「Dragon Ash」のメンバーと世界的ギタリストである「Char」の息子を 大麻所持の疑いで逮捕
酒に溺れる人 22人目
【初代】L360Sタント
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼