>>475
てかその下の1.3 First-order versionsで

For each formula φ(x) of the language with abstractor,
∀u(u ∈ {x | φ} ≡ φ(u)).

に書き直してあるじゃんかよｗｗｗｗｗｗｗｗｗｗ

よく見ろよｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ