Φ(φ)≡N(∃x)φ(x)
A(x)≡(∃x)[(x)[φ(x)≡NA(x)]. Φ(φ)]
G(x).φε+→φ(x)
(∃x)G(x)→N(∃x)G(x)
G=x[(φ)φε+→φ(x)]
ψε+→ψ(G)