>>501
つづき
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。(レーヴェンハイム=スコーレムの定理) 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。また、0 := {{}}, suc(a) := a ∪ {a} と定義したならば、
0 := {{}}
1 := {{}, 0} = {{}, {{}}}
2 := {{}, 0, 1} = {{}, {{}}, {{},{{}}} }
3 := {{}, 0, 1, 2} = {{}, {{}}, {{},{{}}}, {{},{{}},{{},{{}}}} }
のような多少複雑な自然数になる。
(引用終り)
以上
探検
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
502現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/11/27(水) 21:18:14.05ID:qnEhNItW■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」★3 [Hitzeschleier★]
- 【速報】ETC障害、料金所開放し事後精算に [蚤の市★]
- 笠井信輔アナ フジテレビに被害女性に寄り添ったFさんの「実名で会社として名誉回復を」求める… 「彼女も憔悴しきっていた」 [冬月記者★]
- ひろゆき氏、中居正広氏の誘い断れなかった元フジ女性に 「気持ちはわかると同意するのは社会に害悪」 [冬月記者★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【千葉】国道で大型バイク衝突、56歳男性死亡 4人でツーリング中 君津 [シャチ★]
- 【悲報】大阪万博「まだ4割しか出来てない」 [616817505]
- 【崩壊】ニューヨークのトランプ退任デモ、限界突破wwwwwwwwwwwwww [458340425]
- 姫森ルーナの精液ゴクゴク考察部🤛😅🤜🏡
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★7
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★6
- 【画像あり】鈴木沙彩さんのヌード写真を貼るぞ!おっぱい、おへそ、マン毛が素晴らしい!【全裸】 [794336605]