[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
762: 2019/12/15(日)01:01 ID:1xZAPqJd(1/2) AAS
そもそも
X={…{∅}…}
なんて集合を考えたら
F(X)={Y|∃x1∈ x2∈ x3∈‥xn Y=x1, X=xn}
とおくときF(X)には単元集合(singleton)しか許してもらえないんでは？
表記的に？
どこまで行っても単元集合しか出てこないとしか解釈できない希ガス。
省5
799(2): 2019/12/15(日)17:17 ID:1xZAPqJd(2/2) AAS
そもそも "反しない" などという言葉を軽々と使える時点で数学の一丁目一番地がわかってない。
反する事の証明を与えることはできても反しない事の証明は一般にできる場合でも容易ではない。
一般にはモデル構成すればいいんだけど。
しかし今回はそもそも反してるし反してる事の証明も与えられてるのにまだこんなこと言ってる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s