TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【未解決問題】奇数の完全数が存在しないことの証明5
ゼロ割をがんばって定義してみるスレ
高校数学の質問スレPart400
微分幾何学スレ
ジョン・ナッシュ氏が交通事故で死去
ゲーデルの不完全性定理を論破する方法
大学学部レベル質問スレ 11単位目
ガロア優秀仮面理論についてwwwww
面白い問題おしえて〜な 27問目
1÷0ってなんで答えが定義されてないの？
- 339 ：
- >>338
つづき
３）こう考えると、上記のwikipediaの単純な自然数構成でも
∈Rを使って
0 = {} ∈R {{}} ∈R {{{}}} ∈R {{{{}}}} = 3
と、二項関係∈Rで、綺麗な順序が構成できる
こうして構成した二項関係∈Rには、モストフスキ崩壊補題により
”推移的集合Mによる (M, ∈) と順序同型で、順序同型な順序数が一意に存在する” （>>261 近藤 友祐 神戸大学 ）
この考えによれば、二項関係∈Rの意味で
>>299のA社＝{第一事業部、第二事業部、第三事業部、AI研究所}で
第一事業部に属する社員は、またA社にも属する（∈Rの意味で）と言える
しかし、それは、A社＝{ a、第一事業部、第二事業部、第三事業部、AI研究所}を意味する訳では無い
この見方を支える一つの柱が、モストフスキ崩壊補題ですｗ（＾＾；
日常の自然言語における”所属”とか”属する”は、この意味ですね
で、繰返すが、確かに、
0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
そして、この自然数の構成は、厳密な意味での推移的集合による構成ではないが、推移的集合による構成と順序同型になるってこと（モストフスキ崩壊）
以上
ホモの肛門は激臭
大学の数学科はぜんぶ潰すべき
【生保・損保】アクチュアリー資格試験スレ【年金】
問題文一行の超難問を出し合うスレ
現代数学の系譜11 ガロア理論を読む26
■■■■■■■■■■■■■ 人工太陽
数学で一番美しい数ってなんだと思う？
【1教科】山口大学理学部数理科学科【偏差値52.5】
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
Inter-universal geometry と ABC予想 26
--------------------
Java入門・初心者質問スレ Part.９
【靴】 スケシュースレ★パート３ 【shoes】
◆ 田舎者相手にちょろいもんだったな ◆
【ダイエット】ジムにいってる喪女23【目の保養】
年収600万以上の人は100人中5人だけ♪アベノミクス
ニュース女子実況 【YouTubeライブ・ニコニコ生放送・FRESH LIVE 月曜22：00】 #59
なんで女ってみんな髪を染めるの？黒髪ってだけでポイント爆上げなのに [716158355]
【 ｼﾞｬﾆ板は】奥様が語るｼﾞｬﾆ-ｽﾞ207【 敷居が高い】
【アズレン】アズールレーン Part 2428
「A列車で行こう」シリーズ120両目
reprant outflow hummingbird part2
米国司法試験受けてみませんか?
明星すうどんでっせうますぎ
【パパのいうことを聞きなさい！】小鳥遊空ちゃんに萌えるスレ4
千葉・ZOZOマリンの売り子ちゃん 74杯
上野総合スロ板 Part.2
石川と福原なぜ差がついたか 慢心環境の違いpart2
ハゲとデブ選ぶならどっちがマシ？
バズベイト総合スレ 24
【JFL】◆Honda FC Part 17◆【ホンダFC】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
