Inter-universal geometry と ABC予想 (応援スレ) 73 (975ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

905: 08/21(木)12:34 ID:VOoIKstu(1) AAS
>>904
z inductive　＝　∅∈z∧∀y[y∈z→y∪{y}∈z]　だから
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]　と
N:={x∈I∣∀z(∅∈z∧∀y[y∈z→y∪{y}∈z] ⟹ x∈z)}　は
同じ

＞集合積∩の記号は 素朴集合論では 2項演算として導入され 添え字集合族に対して拡張されるのが一般的だろ
　物を知らぬ白知の妄想が一般的なわけないだろ
省1

---

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

---

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

---

ぬこの手 ぬこTOP 2.285s*