[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
36
(1): 2019/10/05(土)12:34 ID:kZwmbLNI(16/44) AAS
>>31
>公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる

「Vωでは」と書いているので、
フォンノイマン宇宙の定義を読んで確認しましょう 
確認なしの「感想」は無意味ですから

フォン・ノイマン宇宙
外部リンク:ja.wikipedia.org
省18
89: 2019/10/05(土)19:20 ID:kZwmbLNI(37/44) AAS
>>83
>フォン・ノイマン宇宙の
>「0に冪集合の演算を超限回繰り返して得られる集合」
>を認める
>空集合Φに、ω回冪集合の演算を繰り返した集合として、ω重集合
>ω回P({・・・{Φ}・・・})={Φ,{・・・{Φ}・・・}}→{{・・・{Φ}・・・}}(ω重集合)
>”{{・・・{Φ}・・・}}(ω重集合)”を定義します
省13
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s