IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

785: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/07(土) 13:42:41.38 ID:4jX6N+0z

>>784
>{{},{{}},{{{}}},…}（要素が無限個）は基礎の公理を満たします

そっから、ずっこけているのか？
そう言えば、思い出してきたけど、
おぬしと同じ議論を、ガロアスレとかで以前もしたよね（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。
定義
空でない集合は必ず自分自身と交わらない要素を持つ。  ∀ A(A≠ Φ ⇒ ∃ x∈ A∀ t∈ A(t not∈ x))
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
・任意の空でない集合xに対して、 ∃ y∈x,x∩y=0
・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である  x∋ x_1∋ x_2∋ ・・・ は存在しない。
・V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。
したがって、例えばx=xのような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。

http://www.math.tsukuba.ac.jp/~tsuboi/under.html
学群関係 Akito Tsuboi's Home Page  坪井明人
http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
数理論理学ＩＩ  坪井明人
目 次
第 1 章 公理的集合論の基礎
1.1.10 基礎の公理（正則性公理） . . . . . . . . . . .. . 9

https://amonphys.web.fc2.com/
あもんノート 　〜理論物理学のまとめ〜
https://amonphys.web.fc2.com/amonfm.pdf
あもんノート
目 次
第 21 章 数学基礎論入門
21.12 正則性公理 . . . . . . . . . . . . . . . . . . .  . . . . . 14

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/785

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.033s