Ein Satz, “non.neg(∃f):(∃' x).fx” muß, wenn wir ihm überhaupt einen Sinn geben, von der Art dessen || des Satzes sein: “es gibt keinen Kreis auf dieser Fläche, der nur einen schwarzen Fleck enthält”. (Ich meine: er muß einen ähnlich bestimmten Sinn haben; und nicht vage bleiben, wie er in der Russell'schen Logik und in meiner der Abhandlung wäre.)
     Wenn nun aus den Sätzen “non.neg(∃f):(∃x).fx” …ρ)
und “non.neg(∃f):(∃x,y).fx & fy” …σ)
folgt, daß 1 = 2 ist, so ist hier mit “1” und “2” nicht das gemeint, was wir sonst damit meinen, dann die Sätze ρ und σ würden in der Wortsprache lauten: “es gibt keine Funktion, die nur von einem Ding befriedigt wird” und “es gibt keine Funktion, die nur von 2 Dingen befriedigt wird”. Und dies sind nach den Regeln unserer Sprache Sätze mit verschiedenem Sinn.