Kann man 1 + 1 = 2 auch so anwenden? (x,y) φx ∙ ψy ⊃ (xy)(φx ⌵ ψx) ∙ (φy ⌵ ψy) was man schreiben kann:
(∃1x,1y) φx ∙ ψy ⊃ (∃2)xφx ⌵ ψx Der Witz ist hier der, daß man auf der linken Seite nicht „(∃2)x schreiben kann. Aber könnte man dies || hier nicht auch schreiben:
(∃1x,1y) φx ∙ ψy = (∃2)xφx ⌵ ψx?