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

---

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

---

853(1): １３２人目の素数さん [sage] 2025/08/20(水) 12:25:25.19 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が最小とは限らない
だから余計なものを含まないBを作りたい
それが∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}ってことでしょ

何がどうわからんの？

---

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

---

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

---

ぬこの手 ぬこTOP 0.039s