[過去ログ] 現代数学の系譜 カントル 超限集合論 (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