20/05/11 12:03:02 zRqOWOEd.net
>>481
団長～、自分の誤りから目をそむけたら
数学は一生理解できませんよぉ
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を自由変数として含まない式φ」
これしか書いてないですよ
どこにも公理とか定理とかなんて書いてないですよ
当然ですね そんな必要どこにもないんですから
いい加減「公理主義」とか口からデマカセいうのやめましょうね～