[過去ログ] 現代数学の系譜 カントル 超限集合論 (802レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
9
(3): 2019/10/05(土)10:44 ID:kZwmbLNI(2/44) AAS
>>4
>1)正則性公理は、無限下降列である x∋x1∋x2∋・・・ を禁止する
> (が、無限上昇列を禁止するものではない)

ええ

>なお、無限上昇列から、ノイマン構成により自然数N=ωの構成が認められる

いいえ
無限上昇列だけでは、ノイマン構成によるN=ωの存在は云えません
省13
1-
あと 793 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.019s