TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【専門書】数学の本第76巻【啓蒙書】
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
理系思考の残念な点
文理融合のための数学教育
数学記号を考案・改良するスレ
フェルマーの最終定理の簡単な証明4
分からない問題はここに書いてね453
【激しく】解析と線型代数の本何がいい?【既出】11
私立文系学部の入試にも数学を必須にすべき
Inter-universal geometry と ABC予想 29
64 :
>>63 補足

1.確かに、”公理的”に、自然数Nから、続いて順序数ωを定義していくときに、ノイマンの後者関数が一番すっきりしている
2.だが、後者関数の選び方には、他の流儀もあるという
3.順序数ωは、本質的に極限順序数であり、極限で定義することは、おかしなことはなにもない(>>63
4.いま問題になっていることは、このように、ノイマンの後者関数以外を使った場合に、極限でωを定義したときに、正則性公理に反するかどうかだ
5.それは「反しない」というのが私の主張ですよ

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} と定義したならば、

微分積分
数学的にLOTO7
チラシの裏 2枚目
数学は東大より京大 ← これ
dx dy の意味は?
分からない問題はここに書いてね478
5次方程式の解を表現できる数体系
Inter-universal geometry と ABC 予想 44
微分幾何学スレ
代数幾何を勉強するためのスレッド
--------------------
ここ5年間の夏の甲子園で前評判通り優勝したのが2012大阪桐蔭と東海大相模だけという事実
宇宙世紀の めし その31
元俳優・新井浩文(本名・朴慶培=パク・キョンベ)被告に懲役5年の実刑判決
55年病院に入院している統合失調症の老人 「退院してもおるところが無い」
【ワッチョイ】□■音作り質問スレVol.4■□【教えて】
☆★★アニメ・マンガ系学科・大学・専門学校★★★
アメリカ飽きたけど日本には帰れない - 31発目
〓慶應義塾大学経済学部・経済研究科〓4
ヨッシーアイランドの思い出 [513871482]
京都のテニススクール事情
【ネトウヨおしまい】韓国向け輸出を再開へ 安倍政権、半導体材料
【携帯電話】三日天下に終わったサムスン 中国での携帯シェアついに0%台★2[05/22]
【希望】オートレーサー34期生応援スレ【基本女子】
【3月25日】国内の1日の感染者数 きょうは最多の96人に
《火事場》 5月6日KLEZ発動!《見物》
【朝鮮日報】韓国民「統一より経済問題の解決を優先」70.5%[5/14]
【税】消費税収、初の20兆円超 20年度、所得税を上回り最大の税目に
すまん、結局PCのブラウザってどれ使うのが情強なの??????????????
一人でキャンプに行く人 111夜目
【風林火山】山梨県の奥様★33【甲州軍団】(ID梨)
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼