純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
18(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/21(月)14:22 ID:60RWf/A5(1/9) AAS
>>16-17
ありがとうございます
さて、補足すれば
ことの起こりは、下記
前スレより
2chｽﾚ:math 2025/06/15 現代数学の系譜 雑談 ◆yH25M02vWFhP
Inter-universal geometry とABC 予想57
省36
19: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/21(月)14:24 ID:60RWf/A5(2/9) AAS
>>18
さて 上記を受けて 下記がある
前スレより
2chｽﾚ:math 2025/06/16 現代数学の系譜 雑談 ◆yH25M02vWFhP
1）すっきりの度合いが違うだろ？
即ち、和記号Σや積記号Πならば、普通その範囲を明示するべきだろ？
Σ n=1〜∞とか Σ m,n=1〜∞とかね
省30
22: 07/21(月)15:39 ID:mqIGDCdy(1/6) AAS
>>18
未だに分かってなくて草
>ここで、”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}”、”Aは無限公理により存在する集合を任意に選んだもの”
> とあるので、
うむ
>集合の積∩は 任意A つまり 全てのA と読めます
まったく違うけど
省5
55(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:38 ID:wMoU4wX9(2/2) AAS
>>49-52
さて、オチコボレさんたちへ
ブーメランだよ
１）まず、私は >>38で"いま、公理系から離れて 素朴集合論で話をしよう
素朴な 集合演算を定義する"と 断っているよ
そして、素朴集合論として
よく知られる >>42 U＝I+(As+Bs) ・・(2)
省14
62(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)23:59 ID:jUNIihmc(2/3) AAS
>>60-61
まだ、ぶつぶつ言っているよ、この人ｗ ；ｐ）
１）>>18の ペアノ公理の自然数の集合論的構成で
”N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}” 外部ﾘﾝｸ:ja.wikipedia.org
”Aは無限公理により存在する集合を任意に選んだもの”
問題は、これが 公理的集合論として 自然数の集合Nになっているか
それについて どの公理を使ったかを明示しながらの証明が必要だよね 公理的集合論としては
省20
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s