純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
53(1): 07/23(水)06:38 ID:gP8zJ0yp(1/2) AAS
>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。
>そのため公理的集合論では分出公理に置き換える。
これは豆知識としてよい
54: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/23(水)11:09 ID:wMoU4wX9(1/2) AAS
>>53
>>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。
>>そのため公理的集合論では分出公理に置き換える。
>これは豆知識としてよい
ID:gP8zJ0yp は、御大か
巡回ご苦労様です
まあ、いつも引用させてもらっている 渕野 Dedekindの無限証明（下記）
省37
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s