純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
113(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)10:06 ID:w9PY0JQs(2/16) AAS
>>111 追加
ZFCが urelement（下記）
を持たない 集合論であることは、しばしば 看過される
日常の集合論は、urelementを常用するので その感覚で ZFCの公理系を見ると イミフになる
上記 渕野(>>111)にも 同様の注意書きがある
P8
"公理的集合論では，考察の対象はすべて集合である，と考える．したがっ
省18
115(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)10:35 ID:w9PY0JQs(3/16) AAS
>>113 追加
さて、その上で
日本語
外部ﾘﾝｸ:ja.wikipedia.org
和集合の公理
↓
仏語
省36
116(1): 07/26(土)10:37 ID:gZ1LykHx(3/22) AAS
>>113
何を言い出すかと思えばまったくトンチンカンなことをｗ
>ZFCが urelement（下記）を持たない 集合論であることは、しばしば 看過される
誰も看過も否定もしてなくて草
ZFにおいてurelementの規定も無ければ存在公理も無いんだから当たり前じゃん 存在公理が無くてどうやって存在を証明すんだよｗ
そもそもurelementが問題となる話題なんてぜんぜんしてないのに突然urelementを持ち出すのがまったくトンチンカン
君、頭だいじょうぶ？
省8
118(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/26(土)10:50 ID:w9PY0JQs(5/16) AAS
>>116
踏みつけた ゴキブリが、まだ動いている
元気なやつだなｗ ；ｐ）
(引用開始)
>"集合論の公理系の一番最初の公理は，すべての集合はその要素の全体から
>一意に決まることを主張する次のものである：
>（外延性公理）略．
省15
126: 07/26(土)12:11 ID:gZ1LykHx(10/22) AAS
>>123
>ガウスも間違えた
じゃ余計に
>”渕野(>>111)にも 同様の注意書き”（>>113）だよ
は何の根拠にもなってないじゃんｗ 馬鹿丸出しｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s