HOME TOP UP PREV NEXT ENGLISH MAP Logisch-philosophische Abhandlung 5.5321
Und der Satz "Nur Ein x befriedigt f( )" lautet: "(x) . fx : ~( x, y) . fx . fy".