[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
901(1): 2023/09/07(木)12:25 ID:RNLEJUpF(8/13) AAS
>>897
>おサルの持論「任意の集合族について各集合から二つ以上の元を取ることは可能」の反例 {{0}}
>ほれ、2元取ってみよｗ
ZFの公理で、（2回とも）同じ元を選んで集合を作る
下記 外延性の公理で「{x,x}, を {x}, で表す」とあるとおり
{x,x}は作れるよ
けど、外延性の公理で{x}と同じになる
上記は、ZFの公理では反例ではない（くどいが、集合{x,x}は構成できる）
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省10
904: 2023/09/07(木)12:29 ID:RNLEJUpF(9/13) AAS
>>901 タイポ訂正
外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言えるの
↓
外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言える
（二か所）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s