純粋・応用数学・数学隣接分野（含むガロア理論）21 (217ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
54: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:09 ID:wMoU4wX9(1/2) AAS
>>53
>>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。
>>そのため公理的集合論では分出公理に置き換える。
>これは豆知識としてよい
ID:gP8zJ0yp は、御大か
巡回ご苦労様です
まあ、いつも引用させてもらっている 渕野 Dedekindの無限証明（下記）
20世紀の公理的集合論が、数十年の歳月をかけて 作り上げられてきたことが良く分かります
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
数理解析研究所講究録 2011
R. Dedekind の数学の基礎付け と集合論の公理化 神戸大 渕野昌
1 「数の理論を扱かう論理学」の基礎付け
R. Dedekind は，19 世紀的視点からの数学の基礎付けという枠組の中で大きな貢献をはたした．
P170
もちろん，無い物ねだり的な指摘をすることはたやすい．彼の時代には，現
代の我々が識るような形式論理はまだ生れてすらいなかった(彼とほぼ同時代
のFrege の研究には形式論理学の萌芽のようなものが見られるが，[3] の第2 版
の前書き(1893)では，Dedekind は，Frege の仕事を後になってからはじめて
知ることになったと書いている). いわんや，形式的推論の体系や，その体系の
完全性，そして不完全性定理に基づく知見は，どう頑張ったとしてもDedekind
の行なった考察の背景にはなり得なかったはずのものである(2).
P172
現代の記法を用いると，自然数の全体は，[3] では，(a) 無限集合Xを1 つとり，
(b) それがDedekind の意味で無限集合となっていることのwitness となっている略
(e)このベースの上で，現在では，デデキント=ペアノの公理系と呼ばれている
自然数の体系(5) の満たすべき基本性質が成り立つことを示し
(特に完全帰納法や再帰法が成り立つことを厳密に示している）
単純無限的体系Nが導入された後，[3] での(d), (e), (f) に関する議論は，
今日の数学のスタンダードから見ても十分に厳密なものといえる．だが，その
前に，ここでまず問題とすべきなのは，そもそも，なぜこのような定義による
単純無限的体系を，Dedekind が，自然数の全体の集合の基礎付けとなると考
えたのかということであろう．
P173
3 無限の存在証明
単純無限的体系によって自然数の全体の体系の基礎付けがなされうるためには，
そもそも無限集合の存在が大前提となる．しかも，これが，「数の理論を扱かう
論理学の部分の基礎付け」としてなされるためには，無限集合の存在が無条件
に証明できなくてはならない．
晩年のDedekind が，無限の存在証明([3] の66.) の残った
ままのテキストをこの再版に回してしまったことの背景だったのではないだろうか．
ただし，Dedekind の名誉のために付け加えておくと，1911 年の時点では，
無限の存在が集合論の他の公理から独立であることは，当時の若い集合論の研
究者たちすら，まだ完全には把握しきれていなかった可能性がある．
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]}”についての説明が必要だよね
あなたちは、積集合の記号∩は 集合論として自明だのウンヌンと屁理屈をこねていて それが出来なかったんだよ
詰んだなｗ ；ｐ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.010s