[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
31(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)12:08 ID:JrhjRl4x(13/46) AAS
>>19
(引用開始)
ノイマン宇宙のV_ωには
{}、{{}}、{{{}}}、…
という{}の有限重の集合は全て存在する
しかし、{}の無限重の集合は存在しない
(引用終り)
省20
36(1): 2019/10/05(土)12:34 ID:kZwmbLNI(16/44) AAS
>>31
>公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる
「Vωでは」と書いているので、
フォンノイマン宇宙の定義を読んで確認しましょう
確認なしの「感想」は無意味ですから
フォン・ノイマン宇宙
外部リンク:ja.wikipedia.org
省18
38: 2019/10/05(土)12:37 ID:kZwmbLNI(17/44) AAS
>>31
>ノイマンの自然数構成N=ω
>0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N=ω
相変わらず「 ∈N」の左側を・・・と書いていますが
そういうことをしている限り、あなたは間違いに気づけませんよ
m∈N で、mは自然数です
したがって
省2
48(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)14:48 ID:JrhjRl4x(19/46) AAS
>>31
さて、
「自然数 ノイマン構成の集合Nから、{・・・{Φ}・・・}({}はω重)なる集合が取り出せる」話(^^
・自然数
ノイマン構成
0:Φ
1:{Φ}
省37
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.031s