TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
加藤毅は引用2
杉浦光夫・解析入門Ⅰ・Ⅱ
Inter-universal geometry と ABC予想 42
多重集合と負の存在
無職だから最近数学の勉強をしている
Inter-universal geometry と ABC 予想 43
【大数】大学への数学 学コン考察
フェルマーの最終定理の簡単な証明2
高校数学の質問スレPart402
♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １４
- 64 ：
- >>63 補足
１．確かに、”公理的”に、自然数Nから、続いて順序数ωを定義していくときに、ノイマンの後者関数が一番すっきりしている
２．だが、後者関数の選び方には、他の流儀もあるという
３．順序数ωは、本質的に極限順序数であり、極限で定義することは、おかしなことはなにもない（>>63）
４．いま問題になっていることは、このように、ノイマンの後者関数以外を使った場合に、極限でωを定義したときに、正則性公理に反するかどうかだ
５．それは「反しない」というのが私の主張ですよ
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
<ノイマン構成>
・任意の集合 a の後者は a と {a} の合併集合として定義される。
suc (a):=a∪{a}
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
<Zermelo構成>（前スレ>>725より）
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
数学を初めとした理系の学問と哲学について
新井紀子スレッド
分からない問題はここに書いてね453
数学ボーイがモテルための必要十分条件とは
数学系YouTuberについて語れ。
岡潔について教えて
高校数学の質問スレPart399
理論計算機数学のスレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む52
1文字変えたら難易度が激変する問題 3文字目
--------------------
うたわれるもの総合 part202
おりせん
女子スキージャンプ ー 総合 ー ☆17
高価格でナイスなバランスヘッドホンアンプ ２台目
【モンスト】モンスターストライク垢売買スレ5
CRダイナマイトキングin沖縄 part4
中京地区のアニメ事情 41
健介vs垣原戦、ガチでも垣原が勝ったんじゃないか？
☆シングルモルトスコッチについて語ろうCASK#23★
【チラシより】カレンダーの裏730【大きめ】
平賀さち枝
★本日の自分ニュース
【クオーツ】グランドセイコーを語る 61【GS】
【7201】日産自動車 20【ルノー・日産・三菱自連合】
【名無し奥も○○奥も】気楽に井戸端会議5343【みんな来い】
【セレッソ大阪】杉本健勇選手 応援スレ
【社会】不動産会社の23歳の女性が物件紹介中に刺され重体。20代くらいの男が逃走中。横浜市旭区さちが丘 [記憶たどり。★]
【米国】リスのしわざ？…走行中の車から不審な臭いと音、ボンネット開けたらクルミが200個！(写真)
人より文明が発達した宇宙人がなんで人に捕まった宇宙人をUFOに乗って助けに来ないの？
【負の性欲】キモい男は侮蔑された被害者などではない、むしろおまえらは「女性に不快感を与えた加害者」なのだｗ [765014536]
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼