[過去ログ]
現代数学の系譜 カントル 超限集合論 (802レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
36: 132人目の素数さん [sage] 2019/10/05(土) 12:34:28.42 ID:kZwmbLNI >>31 >公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる 「Vωでは」と書いているので、 フォンノイマン宇宙の定義を読んで確認しましょう 確認なしの「感想」は無意味ですから フォン・ノイマン宇宙 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 「・V0は空集合, {}とする。 ・各順序数 βに対して、Vβ+1はVβの冪集合とする。 ・各極限順序数 λに対して、Vλは、次の和集合とする: Vλ=∪(β<λ)Vβ」 ωは極限順序数ですから、VωはVn(nは自然数)の合併です {}はV1,{{}}はV2,{{{}}}はV3,…で現れます VωはVnの合併ですから、あらゆる{}の有限重は現れますが 無限重は現れません >無限公理で、Nとωが出来たあとに、 >ω:{・・{Φ}・・} ω重 >と定義すれば良い 1行目のωと2行目の「ω:」のωは違いますよね だから2行目のωを別の表記に変えましょう といってるんですよ 理解しましたか? あなたが拒否したので、我々のほうで Ω:{・・{Φ}・・} ω重 と決めさせていただきました ただ、そうしたところで、実はまだΩは定義されていません http://rio2016.5ch.net/test/read.cgi/math/1570237031/36
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 766 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s