純粋・応用数学・数学隣接分野（含むガロア理論）21 (217ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
55(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:38 ID:wMoU4wX9(2/2) AAS
>>49-52
さて、オチコボレさんたちへ
ブーメランだよ
１）まず、私は >>38で"いま、公理系から離れて 素朴集合論で話をしよう
素朴な 集合演算を定義する"と 断っているよ
そして、素朴集合論として
よく知られる >>42 U＝I+(As+Bs) ・・(2)
ここに 和集合(英union) U：=A∪B 、積集合（共通部分 英: intersection）I：=A∩B
を 示した
だから、和集合U ←→ 積集合I
和集合U と 積集合I のどちらか一つが分れば、他は それから導かれる と言った
２）そもそもは、>>18の ペアノ公理の自然数の集合論的構成で
”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}” 外部ﾘﾝｸ:ja.wikipedia.org
”Aは無限公理により存在する集合を任意に選んだもの”
とあり、私の主張は、こんなところに 積集合の記号∩ を使うのはまずいだろうということだった
（ja.wikipedia なんて、だれが書いたかわからんし・・）
そして キミたちが >>49-52で主張するように 和集合の公理で 記号Uの使用は是としても
ここで 積集合の記号∩を使うならば、まず 記号∩を 他の公理から導かないといけないだろう
さらに、その上で ”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”についての説明が必要だよね
あなたちは、積集合の記号∩は 集合論として自明だのウンヌンと屁理屈をこねていて それが出来なかったんだよ
詰んだなｗ ；ｐ）
56(2): 07/23(水)14:56 ID:xTw7DgsA(1/4) AAS
>>55
まだ分かってなくて草 あったまわっるー
>U＝I+(As+Bs)
+って何だい？ 和集合だろ？ Uって何だい？ 和集合だろ？ 和集合を和集合で定義したら循環論法になるって分からない？ あったまわっるー
＞私の主張は、こんなところに 積集合の記号∩ を使うのはまずいだろうということだった
>ja.wikipedia なんて、だれが書いたかわからんし・・
まずいのは、書いた人物で判断しちゃう君
数学的正しさに書いた人物は関係無い
>まず 記号∩を 他の公理から導かないといけないだろう
分出公理から導けますけど？ 知らなかった？
∩X:={x∈A|∃A∈X∧∀Y∈X:(x∈Y)}
>その上で ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”についての説明が必要だよね
不要。
君が理解できないのは必要な説明が欠落してるからではなくもっぱら勉強不足だから。
>詰んだなｗ ；ｐ）
うん、君がね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.020s