Inter-universal geometry と ABC予想 (応援スレ) 73 (946ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
853(1): １３２人目の素数さん [sage] 08/20(水)12:25 ID:VJZ/zbMe(1)
>>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]}ってことでしょ
何がどうわからんの？
864(1): １３２人目の素数さん [] 08/20(水)16:27 ID:FFMsJxNV(10/16)
>>852
>何がどう分からんのか、ここで言ってくれる？
>>853
>何がどうわからんの？
∩の添え字範囲が書かれてないから分からないんだと
いやそもそも {x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられた集合族ではないから添え字範囲自体が意味を為さない教えてあげたのにどうしても納得しないんだよね
超絶バカでしょ？ｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s