5.5321

Instead of “ ( x ) : f ⁡ x ⊃ x = a ” we therefore write e.g. “ ( ∃ x ) . f ⁡ x .

476