20/05/10 08:21:46.90 mjl0bfS3.net
>>309 （>>369も？ｗ）補足
>>最初から、９個がダメとか言い出したら、それ 「分かり易い説明」としては、失敗していると思う（＾＾；
>キューネンのPDFが落ちているのを思い出したな
>キューネンの下記では、「ZFC = Axioms 1?9. ZF = Axioms 1?8.」と説明しているな！ｗｗ（＾＾；
＜だめ押し＞ｗ（＾＾
まず、半可通が わーわー騒ぐ 「論理式 ψ をパラメータとする公理図式」の話
下記ご参照
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
(抜粋)
集合の公理系
現在一般的に使われている集合の公理系は以下の ZFC である。
ZF 公理系
・置換公理 "関数クラス"による集合の像は集合である：
∀ x∀ y∀ z((ψ (x,y) ∧ ψ (x,z)) → y=z) → ∀ X ∃ A∀ y(y ∈ A ←→ ∃ x ∈ Xψ (x,y))
この公理は、論理式 ψ をパラメータとする公理図式である。
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。
・分出公理 任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する：
∀ X ∃ A∀ x(x ∈ A ←→ (x ∈ X ∧ ψ (x)))
この公理は、論理式 ψ をパラメータとする公理図式である。
論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、
これを {x ∈ X｜ ψ (x)} で表す。
{x ∈ X｜ x ∈ Y}を X ∩ Y で表す。
つづく