5.5321
Statt „(x):fxCx = a” schreiben wir also z.B. „fa: /Ex,y).fx.fy”.
Und der Satz „nur Ein x befriedigt f( = )” lautet: „(Ex).fx: /(Ex,y).fx.fy”.