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

---

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

---

853(1): 08/20(水)12:25 ID:VJZ/zbMe(1) AAS
>>851
＞記号∩が、公理から直接導けないので 公理の裏付けが不明確

∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}って、

∀v.x.x⊂A＆∅∈x∧∀y[y∈x→y∪{y}∈x]＆v∈x⇒v∈B

となるようなB(⊂A)のことでしょ？

Aの存在は無限公理から示せる
でもAが最小とは限らない
省3

---

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

---

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

---

ぬこの手 ぬこTOP 0.033s