Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

121(1): 08/24(日)17:17 ID:jDvM1F2N(11/11) AAS
>和集合の公理はあるが、集合積∩の公理なし！
>つまり、集合積∩については、他の公理から導く必要がある

x∈(A∩B) ⇔ x∈A ⋀ x∈B
x∈∩(Ay) ⇔ ∀y(x∈Ay)

あああ、あほくさ
こんな初歩も分からんって
集合演算も述語論理も分からんナイーブ高卒やん

---

127: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)18:32 ID:+A9mxT/6(6/9) AAS
>>121
>x∈(A∩B) ⇔ x∈A ⋀ x∈B
>x∈∩(Ay) ⇔ ∀y(x∈Ay)

ふっふ、ほっほ
ZFC公理のどれを使うかを明示しないと ダメ
それと、記号∩は ZFC公理じゃないから ”⇔”は ダメ
まず、記号∩を ZFC公理を使って 定義しないよｗｗ　；ｐ）

---

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

---

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

---

ぬこの手 ぬこTOP 2.127s*