空集合があるなら空写像もあるの？ (69ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
56(1): １３２人目の素数さん [sage] 09/26(金)00:27 ID:f0rZ2tau(1/2)
X⊂{}とする。
部分集合の定義より ∀x(x∈X⇒x∈{})。全称除去により c∈X⇒c∈{}。
c∈{} は恒偽だから c∈X は恒偽でなければならない。よってX={}。よって2^{}={{}}。
58: １３２人目の素数さん [sage] 09/26(金)11:49 ID:f0rZ2tau(2/2)
定理は言い尽くされていても証明は皆無。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.452s*