20/05/08 08:06:13 g/NZ4Ytw.net
>>230
>俺はZFC公理系の公理の数が9個であるとする論文は見たことがないが、そうする一般向け解説は時-見るから、望月は専門外(笑)なので間違えてる可能性の方が高いと結論せざるを得ない
1.ZFC公理系の公理の数が9個ではなく、
今の論文では、”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
だから、普通には、ZFが9個でしょ? それは、下記のZF wikipedia の9個と合う
2.かつ、” - cf., e.g., [Drk], Chapter 1, §3]”と書いてあるから、” [Drk], Chapter 1, §3]”をチェックしての発言なのかな? 自分は[Drk]をチェックする気が無いけどw
3.だから、ZFが9個で、ZFCなら10個って話かな? 元の2012年版の記憶で書いているのかな? 意味不明ですね(^^;
(参考)
URLリンク(en.wikipedia.org)
Zermelo?Fraenkel set theory
Contents
1 History
2 Axioms
2.1 1. Axiom of extensionality
2.2 2. Axiom of regularity (also called the axiom of foundation)
2.3 3. Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
2.4 4. Axiom of pairing
2.5 5. Axiom of union
2.6 6. Axiom schema of replacement
2.7 7. Axiom of infinity
2.8 8. Axiom of power set
2.9 9. Well-ordering theorem
3 Motivation via the cumulative hierarchy