5.5321 Statt „(x) : fx ⊃ x = a“ schreiben wir also z. B. „(∃x) . fx. ⊃ .fa : ∼(∃x, y) . fx . fy“.
Und der Satz „nur Ein x befriedigt f ()“ lautet: „(∃x) . fx : ∼(∃x, y) . fx . fy“.