TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
遂に解かれた！AX+BY=CZ
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
0.99999……は１ではない その５
偶数である素数はただひとつであることを証明せよ
【学部,院】数学をやめようと思ってる人、もうやめた人が語り合うスレ【ﾎﾟｽﾄﾞｸ,社会人】
「何の役に立つんですか？」をタブー視する老害wwww
数学の本 第87巻
☆★★『馬鹿板生活満喫ガイド：基本十項目』★★★
ゲーデルの不完全性定理を論破する方法
- 201 ：
- >>197
すでに>>152-155に書いたように
１）https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
ペアノの公理は以下の図にまとめることができる:
x→f(x)→f(f(x))→f(f(f(x)))→・・・
ここで、各f(x),f(f(x)),f(f(f(x))),...は明確に区別可能。
存在と一意性
集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。
任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
(引用終り)
２）https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
（Zermelo構成）
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
３）https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数
(抜粋)
任意の自然数よりも大きい最小の超限順序数 ω
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
よって、Zermelo構成でのω、つまりは空集合を出発点として
ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと
４）こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない
なお、まとめると
Zermeloの後者関数 「0 := {}, suc(a) := {a} 」
の
順序位相（英語版）に関する極限点として
ωが定義される
それだけのこと
作用素環論
数学者ほどかっこいい職業あんの？
現代数学の系譜11 ガロア理論を読む24
Inter-universal geometry と ABC予想 (応援スレ) 44
Daniel Marcus Graph Theory を読む。
現代数学の系譜11 ガロア理論を読む26
ブルバキ数学原論 専門スレ
【あさひ】高校数学の質問スレPart397
朝日生命
京大の基盤と阪大ってどっちがいいですか
--------------------
暴走族goro'sゴローズと落合敬一ホットバイク主催
４０歳を超えたら俺達ってどうなるの？
【MLB】ヤンキース・田中６回１失点 今季３度目の白星消滅で４勝目フイも防御率２点台に [ NYY 6-5 BAL ]
札幌、横浜、名古屋、大阪、京都、神戸、福岡
【BTC】ビットコイン情報交換スレッド2174【アフィ
丹久枝星に生息する丹久枝星人
ジムに来る若い女は２
BTSの雑談スレ1441
American Top 40（全米トップ41）
女ヲタとおっぱいおっぱいおっぱいの話がしたい！！
† 六甲中学校・六甲高等学校 † Part15
【モンスト】モンスターストライク総合9141【10連無料ガチャ開催！】
なぜ資本主義・新自由主義は社会主義に敗れたのか?4
【芸能】沢口靖子が「天下一品」こってり初体験、感想は…
【実写】BLEACH 破道の十【福士蒼汰】
【PSO2】ダメージ調整ちゃんとしろ
【韓国】『嫌韓』コンテンツで金儲けして、『慰安婦はなかった』という本まで出す韓国人ユーチューバー[11/22]
Webでオブジェクト指向プログラミング
餃子の美味い店３
ジュニアアイドルで抜いたらageるスレ34
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
