レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 カントル 超限集合論
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>39 > >>34 > >{・・{}・・}と、多重かつ可算無限(厳密には最小のω)に{}が重なった集合 > >が存在しうるかどうか?私は、存在しうると考えています > > 1.「存在しうる」が「ZFCで証明できる」の意味なら、 > ZFCでの証明を示しましょう。 > 2.「存在しうる」が「ZFCと矛盾しない」の意味なら > 最低でも上記の証明の存在を示す公理となる論理式を示しましょう > > >存在できないとすれば、存在を規制する公理が存在するべき > >それは、正則性公理ですか? > > Ω={・・{}・・}、Ω={Ω}という形で > 安直に実現するなら正則性公理に反します > > 他の方法があるなら示してほしいですね > > >まず、存在しうるか否かそれを決着させましょうよ > > 数学として間違った態度ですね
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s