TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
小中学校範囲の算数・数学の問題のスレ Part 54
数学用語に「夜の」って入れるとエロくなる
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
πって本当に無理数なの？
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48
13×小学校のかけ算順序問題
Inter-universal geometry と ABC予想 否定派
Inter-universal geometry と ABC予想 38
面白い問題おしえて〜な 26問目
♂♂♂♂♂♂♂♂♂♂♂ 嫉妬
- 152 ：
- >>116
ここにもどる、正月ひまなのでｗ（＾＾
(引用開始)
おサル
問題をわざと、論点そらししているな
いま問題にしていることは
後者関数suc(a)で
ｎ→∞の極限
すなわち 極限 lim ｎ→∞ suc(a) が正則性公理に反する
というのがおサルの主張
そんなことはないというのが、
オレだよおれｗ（＾＾；
(引用終り)
いま分かっていることを整理しよう
（参考）
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 に対してその後者を suc(a) := a ∪ {a} と定義する。
集合 A が後者関数に関して閉じているとき、つまり 「a が A の元であるならば suc(a) も A の元である」が成り立つときに、 A は帰納的集合であるという。
ここで、次のように定義する。
・0:=Φ={}
・N:= 0 を含むあらゆる帰納的集合の共通部分
・suc := 後者関数のNへの制限
この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。
任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
(引用終り)
つづく
【親切】理想の質問【丁寧】パート❷
【有効数字】9=9.0ってどうなの？【数学】
ベジェ曲線による作図法
分からない問題はここに書いてね425
Inter-universal geometry と ABC 予想 43
♂♂♂♂♂♂♂♂♂ 暗号解読
現代数学の系譜 カントル 超限集合論2
【数学者】低業績で教授・准教授になった人 Part.2
≪★☆★天才能力判定数学基礎テスト★☆★≫
フェルマーの最終定理の簡単な証明3
--------------------
【太陽の船】World Baseball Classic【2101年へ】
【ホスタ】ギボウシ7芽【擬宝珠】
職場の休憩時間って何してるの？俺は書類読んでるが
【技適限定】SIMフリースマートフォン総合スレ★51
明治大学二部生だけど何か質問ある？
エヌ博士のやつから三菱の宣伝が消えた
【日韓請求権協定】韓国政府に補償要求する徴用工遺族「日本に法的責任はない」[4/21]
辻P「TGSでSwitch版モンスターハンター5を発表します」
【公募】イラスト仕事情報交換スレ66【登録】
拉致、およびストーカー対策法案 ３７
【芸能】 ＡＫＳの弁護士 「ＮＧＴ４８の現役メンバーに対する誹謗中傷、情報開示請求を民事で進めている。事件化しているのが２、３件」
【裁判】長男殺害 元次官に実刑判決「強固な殺意に基づく」 検察官が「体にお気をつけください」と声をかける場面も
【あんスタ】瀬名泉アンチスレ29
【ﾜｰﾙﾄﾞｳｨｯﾁｰｽﾞ】ｽﾄﾗｲｸｳｨｯﾁｰｽﾞ501部隊発進しますっ！1523rd JFW
発達障害者に迷惑してる健常者ちょっとこい 2人目
【旭日旗】 東京五輪開幕まで半年、日本の現状に韓国人 「やっぱり日本製品不買運動を続けるべきだ。反省しない国には行かない」
上尾郵便局
C3-シーキューブ-
【ガルパ】BanG Dream! ガールズバンドパーティ！★2113【バンドリ】
いいよな 運動できる奴は遊ぶだけで年俸もらえて
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
