Inter-universal geometry と ABC予想 (応援スレ) 74 (969ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
652: 09/01(月)18:12 ID:F+DthgMd(1) AAS
＞x∈W↔∀I(Φ(I)→x∈I)
上記は下記と同じ
W＝∩I (Iはφを満たす任意の集合)
∩の範囲がクラスであると発●するというのであれば
これをφを満たすある集合Hの部分集合に限定していい
x∈W↔∀I⊂H.(Φ(I)→x∈I)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s