[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

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

---

438(1): IUT応援団　団員 2020/05/10(日)18:00 ID:vZYbiwt9(30/35) AAS
>>436
Kunenの本で9つだからといって、どんな定式化でも9つとは言えないけどねｗ
大体、公理図式を1個と数えて平気な顔できるのは論理を知らない素人だけｗ

---

456(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)20:23 ID:mjl0bfS3(38/41) AAS
>>448
渕野流では、（分出公理）と（置換公理）と、2つ並べて、公理を10個挙げている

”置換公理は，分出公理の拡張になっており，実際，置換公理と他の集合論の
公理から，分出公理の一つ一つの主張を導きだすことができる”
と書いている。本当は 「分出定理」だろうけど、分り易くしたのだろう

ここらは、言ったモノ勝ち みたいなものでしょうかね？ｗ（＾＾；
（>>436 Yourpediaより）
省35

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 2.625s*