4ページ目のこれだな

Comprehension Scheme:
For any formula φ(x) of the language without abstractor,
∃v∀u(u ∈ v ⇔ φ(u)).