[過去ﾛｸﾞ] 逆に集合じゃないものって何？ (15ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14: １３２人目の素数さん [] 2024/11/12(火) 19:03:11.23 ID:6dIE4y2+(1) AAS
{x|x∉x}:=Xは集合とする。
Xは自分自身を元として持たない集合全体の集合である。
ここで
もしX∉XならばXは自分自身を元として持たないからX∈Xである。
もしX∈XならばXは自分自身を元として持つからX∉Xである。
よってX∉X⇔X∈Xが成立。
矛盾が導かれたので{x|x∉x}は集合でない。
上下前次1-新書関写板覧索設栞歴
あと 1 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.167s*