Wenn nun aus zwei || den Sätzen ~(∃φ):(Еx) φx & ~(∃φ):(Еx,y) φx ∙ φ || ρy folgt daß 1 = 2 ist so kann hier mit „1” & „2” nicht dasselbe gemeint sein || ist hier mit „1” & „2” nicht das gemeint was wir gemeinhin damit meinen, denn die Sätze ρ & σ würden gewöhnlich || in der gewöhnlichen 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 ‒ ‒ ‒