5˙3321
Statt „(x) ∙ Fx ⊃ x = a” schreiben wir also z.B. „Fa: ~(∃x,y) ∙ Fx ∙ Fy”. Und der
19
Satz „Nur ein x befriedigt F(x̂)” lautet: „(∃x) ∙ Fx: ~(∃x,y) ∙ Fx ∙ Fy”.