Inter-universal geometry と ABC予想 (応援スレ) 73 (975ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
907: 08/21(木)13:47 ID:LISQrQEJ(12/14) AAS
>>902
>説明で " f ( n ) ∈ A ( n ) for all n ∈ N"に触れていないからダメ
「任意の無限集合がデデキント無限であることなどが証明できる」と、証明できる事しか述べてないのに証明の内容の一部が無いからダメとトンチンカンな言いがかりつけるおまえがダメ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s