純粋・応用数学・数学隣接分野（含むガロア理論）21 (183ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
54: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:09 ID:wMoU4wX9(1/2) AAS
>>53
>>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。
>>そのため公理的集合論では分出公理に置き換える。
>これは豆知識としてよい
ID:gP8zJ0yp は、御大か
巡回ご苦労様です
まあ、いつも引用させてもらっている 渕野 Dedekindの無限証明（下記）
省37
55(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:38 ID:wMoU4wX9(2/2) AAS
>>49-52
さて、オチコボレさんたちへ
ブーメランだよ
１）まず、私は >>38で"いま、公理系から離れて 素朴集合論で話をしよう
素朴な 集合演算を定義する"と 断っているよ
そして、素朴集合論として
よく知られる >>42 U＝I+(As+Bs) ・・(2)
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.003s*