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

« 5.532 5.533 »