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? (Der 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.