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“.
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“.