Inter-universal geometry と ABC予想 (応援スレ) 73 (969ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
901(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(1/3) AAS
>>872-882
ふっふ、ほっほ
>>866の補足をしておく
１）まず 下記の従属選択公理
全域二項関係 R を利用して
『列 (xn)n∈N を全ての n∈N に対して xnRxn+1 であるように取れる』としている
つまり、出来る列の長さは ω
省28
902(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(2/3) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Axiom of dependent choice
Relation with other axioms
It is possible to generalize the axiom to produce transfinite sequences. If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.
＜仏版のgoogle英訳＞
外部ﾘﾝｸ:fr.wikipedia.org
省26
904(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:45 ID:7NN/U5QB(3/3) AAS
>>900
(引用開始)
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
(引用終り)
省37
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s