[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
399(1): 2015/10/09(金) 22:42:04.63 ID:IFohlWie(1)調 AAS
>>398
> A{A, x｜x≠Φ, ｘ¬∈ｘ｝
意味不明、特に「ｘ¬∈ｘ」
400: 2015/10/10(土) 01:57:11.77 ID:+l5Dt7F5(1/5)調 AAS
>>399
ｘは純粋に集合の元でしかなく、それゆえにｘは自分自身を元とする単集合｛ｘ｝として
解釈しようとしてもできない…というつもりです。それを満たすようなｘは
現代の数学だと空集合以外扱われていない印象を受けましたが、
それは単にあまり研究されていないだけなのか、
それともＡ｛Ａ｝という単集合の場合と同様に
∀Ａ（Ａ≠Φ→∃x∈Ａ∀t∈Ａ(t¬∈x)) から
厳密に矛盾が導かれるのかということを疑問に思いまして…
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.402s*