5.5321

Anziché «(x) : f x ⊃ x = a» scriviamo quindi ad es. «(∃x) . f x. ⊃ .f a : ~(∃x, y) . f x . f y».