Ohne diese Beweisbarkeit wäre 2 + 2 = 4 eine willkürliche Zeichenregel & von richtig oder falsch bei ihr nicht die Rede. Die Demonstrabilität macht die Gleichung zu etwas was sich mit einem Satz vergleichen läßt.