TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学 難易度総合ランキング（偏差値）
【親切】理想の質問【丁寧】パート❷
面白い問題おしえて〜な 26問目
森毅 先生が好きな人 手あげて＾＾
【数セミ】エレガントな解答をもとむ3【2018.10】
数学科の就職って……
ソ連の数学者
現代数学の系譜11 ガロア理論を読む34
♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １４
０は自然数か？
- 154 ：
- >>153 つづき
さて
1.無限公理によってできる上記無限集合Mには、N⊂Mで自然数Nを含むけれども、Nを超える余分の元が含まれている
（∵”自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される”とあるのだから、Nを超える余分の元が存在するということ）
２．結論を先取りしていえば、ノイマン構成のN=ωは、極限順序数（下記ご参照）であり、
”順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)”である
３．上記ペアノの公理の図 （ある後者関数での
x→f(x)→f(f(x))→f(f(f(x)))→・・・→ω→f(ω)→f(f(ω))・・・
つまり、この図の順序位相（英語版）に関する極限点がω
この極限点ω以降が、１に記述のNを超える余分の元だ
４．Zermelo構成でも、
Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・→ω→{ω}→{{ω}}・・・
Zermeloの場合、３で x=Φ、 f(x)=suc(x)={x} ってことな
勿論、ωは後者関数の取り方に依存する
が、>>152の「存在と一意性」にあるように
”二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる”ということ
５．よって、Zermelo構成でのω、つまりは空集合を出発点として
ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと
QED
（参考）
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数
(抜粋)
任意の自然数よりも大きい最小の超限順序数 ω
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
一つの整数を二つの平方数の差で表す方法
数理論理学（数学基礎論） その13
数学が楽しすぎるんだがいつまで続くんだろうか
現代数学の系譜 古典ガロア理論を読む36
現代数学の系譜 工学物理雑談 古典ガロア理論も読む41
【数セミ】エレガントな解答をもとむ2【2016．11】
一つの整数を二つの平方数の差で表す方法
フィールズ賞 欲しい人スレ
数学の本第82巻
一つの整数を二つの平方数の差で表す方法
--------------------
【スマホ】ファーウェイがAndroidに代わるスマホOSを開発中、米国との緊張激化に備え
○● 菅野 文【薔薇王の葬列】
【スズキ】4代目スイフト #22【ZC13S/43S/53S/83S】
gooブログ、アクセス数捏造疑惑について議論するｽﾚ
▲▼▲国民新党（亀井静香代表）▼▲▼
100均で買える登山キャンプに使える物★17 [無断転載禁止]©3ch.net
ドゥーム/ストーナー/スラッジ/70's総合 part.61
【復興の歌姫】臼澤みさき part3
こんな ヨコハマタイヤ は嫌だ
【新型肺炎】ベッド数１万2300床を肺炎患者対策にあてる予定 武漢市
ゴミ板潰れろ
イタリア、全国民の0.1%が感染完了、その内の10%死亡、それでも未だ勢い衰えず [434094531]
【アズレン】アズールレーン Part4788
子供が虐待されてます 助けてあげて
【金】ハウルで止める獣
【AKB48 チーム8】橋本陽菜 応援スレ★16【はるぴょん】
■■■■■■■■■■■ ﾀﾞﾘｲ ■■■■■■■■■■
☆タルトが食べたい！！★
包食速報雑談スレ 53食目 ※糞コテに関する話題、粘着や男女がどうのこうのの話題は一切禁止
【PS4】Destiny2 質問スレ14【デスティニー】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼