5.5321

En lugar de «(x) : fx ⊃ x = a», escribimos entonces, por ejemplo, «(∃x) . fx. ⊃ .fa : ~(∃x, y) . fx . fy».