レス書き込み
スレへ戻る
写
レス栞
レス消
現代数学の系譜 カントル 超限集合論
PC,スマホ,PHSは
ULA
べっかんこ
公式(スマホ)
公式(PC)
で書き込んでください。
名前
メール
引用切替:
レスアンカーのみ
>>724 > >>723 > >累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます > >x0∋x1∋x2∋x3∋x4∋… > >少なくとも、構築された集合の累積hierarchy内の集合については。 > > 言いたいことは、単純で > 無限の降順シーケンス > x0∋x1∋x2∋x3∋x4∋… > は、ダメってことね > > で、 > 無限の上昇シーケンス > x0∈x1∈x2∈x3∈x4∈… > は、OKってことね > > で、2つのシーケンスを比較する > 降順:x0∋x1∋x2∋x3∋x4∋… > 上昇:x0∈x1∈x2∈x3∈x4∈… > > シーケンスの長さとしては、どちらも可算無限 > で、降順はダメで、上昇はOK > ∵ 上昇シーケンスを禁止したら、Zermelo-Fraenkel集合理論の公理から、可算無限 例えば自然数Nの無限列が生まれないから、自然数Nが生まれない
ローカルルール
SETTING.TXT
他の携帯ブラウザのレス書き込みフォームはこちら。
書き込み設定
で書き込みサイトの設定ができます。
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(スマホ)
・
公式(PC)[PC,スマホ,PHS可]
書き込み設定(板別)
で板別の名前とメールを設定できます。
メモ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s