Wenn nun aus
den
zwei
Sätzen ~(∃[)|φ]):(Еx) φx & ~(∃φ):(Еx,y) φx ∙
ρ
φ
y folgt daß 1 = 2 ist so kann ist hier mit „1” & „2” nicht dasselbe gemeint was wir gemeinhin damit meinen, denn die Sätze ρ & σ würden gewöhnlich in der gewohnlichen Wortsprache lauten: Es gibt keine Funktion die nur von einem Ding & keine die nur von zwei Dingen befriedigt wird. Und dies sind nach der Regel unserer Sprache verschiedene Sätze und diese Regel stützt sich
nicht darauf daß es doch ‒ ‒ ‒