[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
795(3): 2022/01/05(水)00:51 ID:nF1aC3me(3/5) AAS
>>788
>定義に使ったことは、カッコ{}とノイマン構成による自然数Nと標準の順序数ωのみだよ
>(定義には、well-definedかどうかはあるけどね)
ノイマン構成だろうと他のどんな構成だろうとωの前者は存在しません。
よってωzなるものは集合ではありません。よってZF上に存在できません。よってwell-definedではありません。
そろそろ理解しましょうね。
798(7): 2022/01/05(水)17:27 ID:her5dgqq(2/3) AAS
>>795
>ノイマン構成だろうと他のどんな構成だろうとωの前者は存在しません。
そこは、反対していないよ
で、聞くが
１）ノイマン構成で、無限公理を使って、可算無限の自然数の集合N=ωが出るよね
さて、これの解釈として、
a)無限公理によって、N=ωを含む無限集合が出来た
b)無限公理は単に、N=ωを含む無限集合が出来ているのを、無限公理で明確にしただけ*）（Nを含む無限集合は既にあったと考える）
注：*）一階述語論理では、無限を制御できない（by レーヴェンハイム-スコーレムの定理）から公理が必要
の二択
省12
807(3): 2022/01/05(水)21:19 ID:KQN0RShS(5/5) AAS
>>801-802
ふーん、IDを消した人、居なくなったねｗ
>>801-802のID:e8SHhrC8氏と、>>795の ID:nF1aC3meと
同一人物で、>>7のサイコパスのおサルさんかな？ｗｗ
(引用開始)>>7
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」
(引用終り)
それ、>>798で要求している
”ノイマン宇宙やレーヴェンハイム-スコーレムの定理と整合する説明をね”
省24
811: 2022/01/05(水)22:21 ID:nF1aC3me(4/5) AAS
>>807
>それ、>>798で要求している
>”ノイマン宇宙やレーヴェンハイム-スコーレムの定理と整合する説明をね”
>という条件を満たしていない
Nの定義にそんなものはまったく不要。バカが分かってないだけ。
>いわゆる、”題意外し”で大減点だよ、その答案は。ちゃんと、題意に従った答案を記述しないとダメです
>まあ、30点だなｗｗ
それを題意外しと言うならそもそも出題が悪いｗ バカが分かってないだけ
で、おまえは
>ここであなたへの宿題です。上記のNがペアノの公理を満たす事を証明して下さい。
省20
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.225s*