[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
309(7): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)23:34 ID:g/NZ4Ytw(12/14) AAS
>>246
>最初から、９個がダメとか言い出したら、それ 「分かり易い説明」としては、失敗していると思う（＾＾；
キューネンのPDFが落ちているのを思い出したな
キューネンの下記では、「ZFC = Axioms 1?9. ZF = Axioms 1?8.」と説明しているな！ｗｗ（＾＾；
（参考）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
省22
310: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/08(金)23:36 ID:g/NZ4Ytw(13/14) AAS
>>309 文字化け訂正
ZFC = Axioms 1?9. ZF = Axioms 1?8.
↓
ZFC = Axioms 1-9. ZF = Axioms 1-8.
まあ、原文見て下さい（＾＾；
313(1): 2020/05/09(土)00:09 ID:7SRnDmlC(1) AAS
>>309
まあこれP21やP31できちんと説明してるし、それ以前に自分で書いてるように論文じゃなくて教科書だしな
公理1とかの名付けは数学的言明でもない
314(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)00:15 ID:NFbqSkQk(1/12) AAS
>>309
>キューネンの下記では、「ZFC = Axioms 1-9. ZF = Axioms 1-8.」と説明しているな！ｗｗ（＾＾；
キューネン先生の”SET THEORY An Introduction to Independence Proofs”（1999）（下記）
では
ZFC is the system of Axioms 0-9.
ZF consists of Axioms 0-8,
として、Axiom 0 を含めているね
省28
325(2): IUT応援団 団員 2020/05/09(土)08:33 ID:j9hCxaDC(1/17) AAS
団長〜、昨日は”また”なんかやらかしたらしいですね（ニヤニヤ）
>>309
団長って・・・もしかして英語ニガテですか？
Axiom 3. Comprehension Scheme
Axiom 6. Replacement Scheme.
って書いてありますよね
Scheme、読めますか？
省11
370(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)08:21 ID:mjl0bfS3(2/41) AAS
>>309 （>>369も？ｗ）補足
>>最初から、９個がダメとか言い出したら、それ 「分かり易い説明」としては、失敗していると思う（＾＾；
>キューネンのPDFが落ちているのを思い出したな
>キューネンの下記では、「ZFC = Axioms 1?9. ZF = Axioms 1?8.」と説明しているな！ｗｗ（＾＾；
＜だめ押し＞ｗ（＾＾
まず、半可通が わーわー騒ぐ 「論理式 ψ をパラメータとする公理図式」の話
下記ご参照
省19
436(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)17:49 ID:mjl0bfS3(35/41) AAS
>>309
(引用開始)
キューネンのPDFが落ちているのを思い出したな
キューネンの下記では、「ZFC = Axioms 1−9. ZF = Axioms 1−8.」と説明しているな！ｗｗ（＾＾；
（参考）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
省13
447(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)19:46 ID:mjl0bfS3(36/41) AAS
>>418 追加
（>>410再録）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 Kenneth Kunen. Kenneth Kunen
(抜粋)
P10
省25
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s