20/05/10 11:36:48 vZYbiwt9.net
>>371
団長・・・英語も読めないんですね
まず{x ∈ X｜ ψ (x)}はAxiom3.Comprehension Scheme（分出公理図式）の話ですよ
それから
”On the basis of Axioms 1,3,4,5,
define ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ),
∩ (intersection), and SING(x) (x is a singleton) by”
は、Axiom7～9以降の式を簡便に記載するために用いる
記号⊆,Φ,S,∩,SING(x)の定義について語ってるだけ
（Axiom6とは関係ないｗ）
＞置換公理って、こうやって使うのか～ｗ、と感心したのです
いや、全然使ってないからｗ 感心しちゃダメｗ