20/05/10 20:30:28 vZYbiwt9.net
団長～、まだ９個に固執してるんすか どこまでド素人なんですか？
どうせなら、Kunenのここ↓引用すればいいのに
読んでないんすか？
初等数学に、基礎の公理は要らないって、書いてますよ！！！
ZFC = Axioms 1–9. ZF = Axioms 1–8.
ZC and Z are ZFC and ZF, respectively, with Axiom 6 (Replacement) deleted.
Z －, ZF －, ZC －, ZFC － are Z , ZF, ZC , ZFC, respectively, with Axiom 2 (Foundation) deleted
Most of elementary mathematics takes place within ZC － (approximately, Zermelo’s theory).
The Replacement Axiom allows you to build sets of size ℵω and bigger.
It also lets you represent well-orderings by von Neumann ordinals, which is notationally useful, although not strictly necessary.
（翻訳）
初等数学のほとんどはZC-（おおよそ、ツェルメロの理論）内で行われます。
Replacement Axiomを使用すると、サイズℵω以上のセットを構築できます。
また、厳密には必要ではありませんが、記法としては便利ですが、
フォンノイマン序数によって適切な順序を表すこともできます。