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 [s|S]eite nicht „(∃2)x schreiben kann. Aber könnte man
hier
dies
nicht auch schreiben:
(∃1x,1y) φx ∙ ψy = (∃2)xφx ⌵ ψx?