/?  
Wenn 1 + 1 = 2 bedeutet daß aus
(Е1)xφx ∙ (Е1)xψx ∙ (x)~(φx ∙ ψx) folgt (Е2)xφx ⌵ ψx, was heißt dann 2 = 1 + 1? ([d|D]er erste Satz folgt ja nicht aus dem zweiten) So wie
ich es auffasse kann man freilich sowohl 1 + 1 = 2 als auch 2 = 1 + 1 auf den zweiten Satz anwenden.