20/05/11 14:35:07 zRqOWOEd.net
>>483
まず、以下の公理図式のφが任意の式であることを認めましょうね
全て、そこからスタートだよ
団長 ド素人のくせに玄人ぶったらいつものように嘲笑されるよ
2012年以来、毎日嘲笑されつづけてるの分かってる？
Axiom 3. Comprehension Scheme. For each formula, ϕ, without y free,
∃y∀x(x ∈ y ↔ x ∈ z ∧ ϕ(x))
Axiom 6. Replacement Scheme. For each formula, ϕ, without B free,
∀x ∈ A ∃!y ϕ(x, y) → ∃B ∀x ∈ A ∃y ∈ B ϕ(x, y)
”formula, ϕ, without y free,”
”formula, ϕ, without B free,”
「yを自由変数として含まない式φ」
「Bを自由変数として含まない式φ」