20/05/10 11:55:57 mjl0bfS3.net
>>401
(>>371より ww(^^; )
(参考)
URLリンク(www.math.wisc.edu)
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
(抜粋)
P10
Axiom 6. Replacement Scheme. For each formula, φ, without B free, ∀x ∈ A∃!y φ(x, y) → ∃B ∀x ∈ A∃y ∈ B φ(x, y)
P11
Axiom 6. Replacement Scheme. For each formula, ψ, without B free,
∀x ∈ A∃!y ψ(x, y) → ∃B ∀x ∈ A∃y ∈ B ψ(x, y)
The rest of the axioms are a little easier to state using some defined notions.
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:
x ⊆ y ⇔ ∀z(z ∈ x → z ∈ y)
x = Φ ⇔ ∀z(z not∈ x)
y = S(x) ⇔ ∀z(z ∈ y ←→ z ∈ x ∨ z = x)
w = x ∩ y ⇔ ∀z(z ∈ w ←→ z ∈ x ∧ z ∈ y)
SING(x) ⇔ ∃y ∈ x ∀z ∈ x(z = y)
(引用終り)