[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
236(5): 2020/05/08(金)10:16 ID:qXGvfbUV(1/26) AAS
>>234
コメントありがとう
>2.3と2.6がAxiom schemaと書いてあるのが読めますね
>実はこれは一つの式ではありません
１．>>232より 望月 IUT IV
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
つまり、”nine axioms”であること、”of Zermelo-Fraenkel”（ZFであってZFCではない）ことを
省23
237(1): 2020/05/08(金)10:27 ID:enp/+yz7(2/20) AAS
>>236
>”axiom”を１個と数えれば
１つのaxiom schema＝１つのaxiom ではありません
238(2): 2020/05/08(金)10:38 ID:qXGvfbUV(2/26) AAS
>>235
>しかし基礎論の肝心なとこは本人もだし、何人も読んでたら気づくと思うんだけど。
>そこが致命的とか信じられないな。
ほいよ >>236
あなたも、ここで論陣を張りたければ、まずは事実を確認してくださいね
まずは、望月氏 IUT IVが引用している >>230の”cf., e.g., [Drk], Chapter 1, §3”を見ましょうね
（P85 Bibliography
省18
239(2): 2020/05/08(金)10:41 ID:qXGvfbUV(3/26) AAS
>>237
>>”axiom”を１個と数えれば
>１つのaxiom schema＝１つのaxiom ではありません
ほいよ >>238
望月氏は ”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
です
あなた：１つのaxiom schema
省3
245: 2020/05/08(金)11:22 ID:qXGvfbUV(6/26) AAS
>>236 補足
> 2.9 9. Well-ordering theorem
”Well-ordering theorem”は、最初 Zermeloは定理だと考えていたのですね
で、下記のように、１階述語論理では、選択公理や Zorn's Lemmaと equivalentだと
（ここまでは 学部生でも常識でしょうね）
しかし、２階述語論理では、strictly stronger than the axiom of choice だと
なるほどね（＾＾；
省15
252: 2020/05/08(金)13:45 ID:qXGvfbUV(8/26) AAS
>>236
>外部ﾘﾝｸ:en.wikipedia.org
>Zermelo-Fraenkel set theory
> 2.3 3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
(引用終り)
追加
これ、現代では大分見直しされているようですね（＾＾；
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s