Inter-universal geometry と ABC予想 (応援スレ) 73 (977ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

867(2): 08/20(水)16:39 ID:FFMsJxNV(11/16) AAS
おそらく論理がチンプンカンプンな彼には {x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} が読めないってことじゃないかな。
「Aの部分集合で帰納的であるもの全体の集合」としか読み様が無いんだがね。
添え字範囲が書かれてないから不明確と言いがかりつけてくるのは「レベルが違い過ぎると会話が成立しない」の好例。

---

884(2): 08/21(木)06:54 ID:PuT7+w5i(2/9) AAS
>>867
>論理がチンプンカンプンな彼には
>{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>が読めないってことじゃないかな。
>「Aの部分集合で帰納的であるもの全体の集合」
>としか読み様が無いんだがね。

「Aの部分集合で、空集合を要素とし、任意の要素yに対してy∪{y}も要素とするもの」
省3

---

886: 08/21(木)07:02 ID:PuT7+w5i(3/9) AAS
>>867
>添え字範囲が書かれてない

集合{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}は１つではない

それらの全てに対して∩をとればいい
具体的には
∀u⊂A,v∈A.(({}∈u＆(x∈u⇒x∪{x}∈u))＆v∈u)⇒v∈B
なるAの部分集合B
省1

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s