ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜　カントル　超限集合論

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>201 > >>193 > >１）ツェルメロ構成での任意aの後者関数； > >　suc(a) := {a}による構成は、正則性公理に反しない > >　たとえ、それで無限上昇列が出来ても、ということは認めますか？ Y/N > > Y > > >２）ツェルメロ構成での任意aの後者関数；suc(a) := {a}による構成で、 > >　無限公理を適用して、自然数ｎをすべて含む無限集合が出来たとき、 > >　それはいわゆる自然数Nよりも、余計な元、 > >　即ち、超限順序数に属するべき（有限でない）元が > >　生成され、含まれていることに同意しますか？ Y/N > > Y > > >>195 > >では、この超限順序数に属するべき（有限でない）元とは、何なのでしょうか？ > > 馬鹿が考えるような{…{}…}ではないけどな > > >ツェルメロ構成でできる集合は、任意aの後者関数；suc(a) := {a}以外は無いですね > > 相変わらず底抜けの馬鹿だな、貴様はｗｗｗｗｗｗｗ > > {}∈X∧(∀x∈X⇒{x}∈X)　 > （Xは空集合を要素とし、xがXの要素なら{x}もXの要素である） > > という条件を満たすXについて > > 「ｙがXの要素なら、yは空集合か > 　y={x}で、Xの要素となるxが存在する」 > ∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X))　 > > > とか思ってるだろ？ｗ > > そこが馬鹿だというんだよｗｗｗ > > 実際には > > 「Xの空集合でないyで、 > 　Xのいかなる要素xについても > 　{x}=yとならないものが存在する」 > ∃y.(y∈X∧¬(y={})∧∀x.(x∈X⇒¬({x}=y)) > > が成立しても矛盾はない > > つまり > > >超限順序数に属するべき（有限でない）元、それは、消去法で、 > >超限回の空集合Φに対する後者関数による超限多重集合 {・・{Φ}・・}（ω＋アルファ回{}多重） > >でなければならない > > なんてことはいえない > > 「縁なき衆生は度し難し」 > > >それはお認めになるんですよね？ > > 認めねぇよ　この大馬鹿者めｗｗｗｗｗｗｗ
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.013s